runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/randc10393.cudf.difficult.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/difficult//randc10393.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/randc10393.cudf.difficult.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.44 1.28 1.24 3/48 1079
/proc/meminfo: memFree=604968/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2572 CPUtime=0
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 355 0 0 0 0 0 0 0 25 0 1 0 876699252 2633728 274 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/1077/statm: 643 274 234 194 0 29 0
[pid=1078] ppid=1077 vsize=2572 CPUtime=0
/proc/1078/stat : 1078 (p2cudf) R 1077 1076 2059 34821 2220 4202560 92 0 0 0 0 0 0 0 25 0 1 0 876699252 2633728 116 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/1078/statm: 643 116 75 194 0 29 0
[pid=1079] ppid=1078 vsize=2572 CPUtime=0
/proc/1079/stat : 1079 (p2cudf) R 1078 1076 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876699252 2633728 41 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/1079/statm: 643 41 0 194 0 29 0

[startup+0.149889 s]
/proc/loadavg: 1.44 1.28 1.24 3/48 1079
/proc/meminfo: memFree=604968/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.209907 s]
/proc/loadavg: 1.44 1.28 1.24 3/48 1079
/proc/meminfo: memFree=604968/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.309907 s]
/proc/loadavg: 1.44 1.28 1.24 3/48 1079
/proc/meminfo: memFree=604968/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.709994 s]
/proc/loadavg: 1.44 1.28 1.24 3/48 1079
/proc/meminfo: memFree=604968/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.51012 s]
/proc/loadavg: 1.56 1.31 1.25 4/57 1099
/proc/meminfo: memFree=561420/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
[pid=1090] ppid=1077 vsize=894676 CPUtime=1.47
/proc/1090/stat : 1090 (java) S 1077 1076 2059 34821 2220 4202496 20591 0 1 0 142 5 0 0 25 0 10 0 876699255 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1090/statm: 223669 17011 1727 10 0 220759 0
[pid=1090/tid=1091] ppid=1077 vsize=894676 CPUtime=0.65
/proc/1090/task/1091/stat : 1091 (java) R 1077 1076 2059 34821 2220 4202560 6842 0 1 0 64 1 0 0 25 0 10 0 876699256 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4151839665 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1090/tid=1092] ppid=1077 vsize=894676 CPUtime=0
/proc/1090/task/1092/stat : 1092 (java) S 1077 1076 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876699258 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1093] ppid=1077 vsize=894676 CPUtime=0
/proc/1090/task/1093/stat : 1093 (java) S 1077 1076 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876699258 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1094] ppid=1077 vsize=894676 CPUtime=0
/proc/1090/task/1094/stat : 1094 (java) S 1077 1076 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876699258 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1095] ppid=1077 vsize=894676 CPUtime=0
/proc/1090/task/1095/stat : 1095 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876699261 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1096] ppid=1077 vsize=894676 CPUtime=0.52
/proc/1090/task/1096/stat : 1096 (java) R 1077 1076 2059 34821 2220 4202560 9395 0 0 0 50 2 0 0 23 0 10 0 876699261 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4149791564 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1090/tid=1097] ppid=1077 vsize=894676 CPUtime=0.27
/proc/1090/task/1097/stat : 1097 (java) R 1077 1076 2059 34821 2220 4202560 3240 0 0 0 26 1 0 0 25 0 10 0 876699261 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4149816865 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1090/tid=1098] ppid=1077 vsize=894676 CPUtime=0
/proc/1090/task/1098/stat : 1098 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876699261 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1099] ppid=1077 vsize=894676 CPUtime=0
/proc/1090/task/1099/stat : 1099 (java) S 1077 1076 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876699261 916148224 17011 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 899820

[startup+3.11158 s]
/proc/loadavg: 1.56 1.31 1.25 4/57 1099
/proc/meminfo: memFree=515108/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
[pid=1090] ppid=1077 vsize=894076 CPUtime=2.99
/proc/1090/stat : 1090 (java) S 1077 1076 2059 34821 2220 4202496 59320 0 1 0 282 17 0 0 25 0 10 0 876699255 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1090/statm: 223519 51775 1732 10 0 220609 0
[pid=1090/tid=1091] ppid=1077 vsize=894076 CPUtime=1.38
/proc/1090/task/1091/stat : 1091 (java) R 1077 1076 2059 34821 2220 4202560 40919 0 1 0 125 13 0 0 25 0 10 0 876699256 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4095623457 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1090/tid=1092] ppid=1077 vsize=894076 CPUtime=0
/proc/1090/task/1092/stat : 1092 (java) S 1077 1076 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876699258 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1093] ppid=1077 vsize=894076 CPUtime=0
/proc/1090/task/1093/stat : 1093 (java) S 1077 1076 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876699258 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1094] ppid=1077 vsize=894076 CPUtime=0
/proc/1090/task/1094/stat : 1094 (java) S 1077 1076 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876699258 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1095] ppid=1077 vsize=894076 CPUtime=0
/proc/1090/task/1095/stat : 1095 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876699261 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1096] ppid=1077 vsize=894076 CPUtime=0.87
/proc/1090/task/1096/stat : 1096 (java) S 1077 1076 2059 34821 2220 4202560 10913 0 0 0 85 2 0 0 21 0 10 0 876699261 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1097] ppid=1077 vsize=894076 CPUtime=0.71
/proc/1090/task/1097/stat : 1097 (java) S 1077 1076 2059 34821 2220 4202560 6374 0 0 0 70 1 0 0 25 0 10 0 876699261 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1098] ppid=1077 vsize=894076 CPUtime=0
/proc/1090/task/1098/stat : 1098 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876699261 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1099] ppid=1077 vsize=894076 CPUtime=0
/proc/1090/task/1099/stat : 1099 (java) S 1077 1076 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876699261 915533824 51775 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 899220

[startup+6.3051 s]
/proc/loadavg: 1.60 1.32 1.25 4/59 1102
/proc/meminfo: memFree=297732/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
[pid=1090] ppid=1077 vsize=896344 CPUtime=6.12
/proc/1090/stat : 1090 (java) S 1077 1076 2059 34821 2220 4202496 84660 0 1 0 586 26 0 0 25 0 11 0 876699255 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1090/statm: 224086 75198 1792 10 0 221176 0
[pid=1090/tid=1091] ppid=1077 vsize=896344 CPUtime=2.48
/proc/1090/task/1091/stat : 1091 (java) S 1077 1076 2059 34821 2220 4202560 50456 0 1 0 233 15 0 0 25 0 11 0 876699256 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1092] ppid=1077 vsize=896344 CPUtime=0.33
/proc/1090/task/1092/stat : 1092 (java) S 1077 1076 2059 34821 2220 4202560 13607 0 0 0 26 7 0 0 16 0 11 0 876699258 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1093] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1093/stat : 1093 (java) S 1077 1076 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876699258 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1094] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1094/stat : 1094 (java) S 1077 1076 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876699258 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1095] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1095/stat : 1095 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1096] ppid=1077 vsize=896344 CPUtime=1.86
/proc/1090/task/1096/stat : 1096 (java) S 1077 1076 2059 34821 2220 4202560 11046 0 0 0 184 2 0 0 15 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1097] ppid=1077 vsize=896344 CPUtime=1.42
/proc/1090/task/1097/stat : 1097 (java) S 1077 1076 2059 34821 2220 4202560 8411 0 0 0 141 1 0 0 15 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1098] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1098/stat : 1098 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1099] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1099/stat : 1099 (java) R 1077 1076 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 901488

Solver just ended. Dumping a history of the last processes samples

[startup+6.4051 s]
/proc/loadavg: 1.60 1.32 1.25 4/59 1102
/proc/meminfo: memFree=297732/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
[pid=1090] ppid=1077 vsize=896344 CPUtime=6.12
/proc/1090/stat : 1090 (java) S 1077 1076 2059 34821 2220 4202496 84660 0 1 0 586 26 0 0 25 0 11 0 876699255 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1090/statm: 224086 75198 1792 10 0 221176 0
[pid=1090/tid=1091] ppid=1077 vsize=896344 CPUtime=2.48
/proc/1090/task/1091/stat : 1091 (java) S 1077 1076 2059 34821 2220 4202560 50456 0 1 0 233 15 0 0 25 0 11 0 876699256 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1092] ppid=1077 vsize=896344 CPUtime=0.33
/proc/1090/task/1092/stat : 1092 (java) S 1077 1076 2059 34821 2220 4202560 13607 0 0 0 26 7 0 0 16 0 11 0 876699258 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1093] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1093/stat : 1093 (java) S 1077 1076 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876699258 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1094] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1094/stat : 1094 (java) S 1077 1076 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876699258 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1095] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1095/stat : 1095 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1096] ppid=1077 vsize=896344 CPUtime=1.86
/proc/1090/task/1096/stat : 1096 (java) S 1077 1076 2059 34821 2220 4202560 11046 0 0 0 184 2 0 0 15 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1097] ppid=1077 vsize=896344 CPUtime=1.42
/proc/1090/task/1097/stat : 1097 (java) S 1077 1076 2059 34821 2220 4202560 8411 0 0 0 141 1 0 0 15 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1098] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1098/stat : 1098 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1099] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1099/stat : 1099 (java) S 1077 1076 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876699261 917856256 75198 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 901488

[startup+6.80925 s]
/proc/loadavg: 1.60 1.32 1.25 1/58 1117
/proc/meminfo: memFree=297492/1048576 swapFree=2078696/2097144
[pid=1076] ppid=1074 vsize=2568 CPUtime=0
/proc/1076/stat : 1076 (p2cudf-paranoid) S 1074 1076 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876699252 2629632 273 1283457024 134512640 135304128 4288277440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1076/statm: 642 273 233 194 0 28 0
[pid=1077] ppid=1076 vsize=2576 CPUtime=0.03
/proc/1077/stat : 1077 (p2cudf) S 1076 1076 2059 34821 2220 4202496 392 3000 0 1 0 0 1 2 25 0 1 0 876699252 2637824 282 1283457024 134512640 135304128 4287785808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1077/statm: 644 282 241 194 0 30 0
[pid=1090] ppid=1077 vsize=896344 CPUtime=6.16
/proc/1090/stat : 1090 (java) S 1077 1076 2059 34821 2220 4202496 84662 0 1 0 589 27 0 0 25 0 11 0 876699255 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1090/statm: 224086 75200 1792 10 0 221176 0
[pid=1090/tid=1091] ppid=1077 vsize=896344 CPUtime=2.48
/proc/1090/task/1091/stat : 1091 (java) S 1077 1076 2059 34821 2220 4202560 50456 0 1 0 233 15 0 0 25 0 11 0 876699256 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1092] ppid=1077 vsize=896344 CPUtime=0.33
/proc/1090/task/1092/stat : 1092 (java) S 1077 1076 2059 34821 2220 4202560 13607 0 0 0 26 7 0 0 16 0 11 0 876699258 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1093] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1093/stat : 1093 (java) S 1077 1076 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876699258 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1094] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1094/stat : 1094 (java) S 1077 1076 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876699258 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1095] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1095/stat : 1095 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876699261 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1096] ppid=1077 vsize=896344 CPUtime=1.87
/proc/1090/task/1096/stat : 1096 (java) S 1077 1076 2059 34821 2220 4202560 11046 0 0 0 185 2 0 0 16 0 11 0 876699261 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1097] ppid=1077 vsize=896344 CPUtime=1.42
/proc/1090/task/1097/stat : 1097 (java) S 1077 1076 2059 34821 2220 4202560 8411 0 0 0 141 1 0 0 15 0 11 0 876699261 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1098] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1098/stat : 1098 (java) S 1077 1076 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876699261 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1099] ppid=1077 vsize=896344 CPUtime=0
/proc/1090/task/1099/stat : 1099 (java) S 1077 1076 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876699261 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=1090/tid=1117] ppid=1077 vsize=896344 CPUtime=0.02
/proc/1090/task/1117/stat : 1117 (java) R 1077 1076 2059 34821 2220 4202560 2 0 0 0 2 0 0 0 20 0 11 0 876699878 917856256 75200 1283457024 134512640 134550932 4294010848 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 901488

Child status: 0
Real time (s): 6.89438
CPU time (s): 6.24039
CPU user time (s): 5.92837
CPU system time (s): 0.312019
CPU usage (%): 90.5141
Max. virtual memory (cumulated for all children) (KiB): 903916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.92837
system time used= 0.312019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88457
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 909
involuntary context switches= 879

runsolver used 0 second user time and 0 second system time

The end