8.94/9.06 c CPU-LOAD 7.01
8.94/9.06 c LOADED 4000 V (2 E), 2000 ExtensionConstraint2D, 8500 PredicateConstraint, arity 3, 7.01 cpu
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068516-1247706693/watcher-2068516-1247706693 -o /tmp/evaluation-result-2068516-1247706693/solver-2068516-1247706693 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2068516-1247706693.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.22 2.23 4/83 11151
/proc/meminfo: memFree=736632/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 57734607 5484544 230 996147200 4194304 4889804 548682068736 18446744073709551615 214945202258 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11151/statm: 1339 230 191 169 0 50 0
[pid=11152] ppid=11151 vsize=5356 CPUtime=0
/proc/11152/stat : 11152 (concrete.sh) R 11151 11151 9825 0 -1 4194368 25 0 0 0 0 0 0 0 19 0 1 0 57734607 5484544 235 996147200 4194304 4889804 548682068736 18446744073709551615 214945033511 0 0 4096 0 0 0 0 17 1 0 0
/proc/11152/statm: 1339 235 195 169 0 50 0
[startup+0.0536841 s]
/proc/loadavg: 2.25 2.22 2.23 4/83 11151
/proc/meminfo: memFree=736632/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.104682 s]
/proc/loadavg: 2.25 2.22 2.23 4/83 11151
/proc/meminfo: memFree=736632/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301694 s]
/proc/loadavg: 2.25 2.22 2.23 4/83 11151
/proc/meminfo: memFree=736632/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701739 s]
/proc/loadavg: 2.25 2.22 2.23 4/83 11151
/proc/meminfo: memFree=736632/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50183 s]
/proc/loadavg: 2.25 2.22 2.23 3/93 11164
/proc/meminfo: memFree=721192/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=847632 CPUtime=1.47
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 8347 0 1 0 141 6 0 0 18 0 9 0 57734608 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 211908 7156 2624 9 0 206386 0
[pid=11156/tid=11157] ppid=11151 vsize=847632 CPUtime=1.03
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 3921 0 1 0 100 3 0 0 22 0 9 0 57734609 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4125996279 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11158] ppid=11151 vsize=847632 CPUtime=0.12
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 2205 0 0 0 12 0 0 0 16 0 9 0 57734610 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11159] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57734610 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57734610 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 57734612 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=847632 CPUtime=0.29
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 1526 0 0 0 28 1 0 0 16 0 9 0 57734616 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 57734616 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 57734616 867975168 7156 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 852988
[startup+3.10201 s]
/proc/loadavg: 2.23 2.22 2.23 3/93 11164
/proc/meminfo: memFree=715880/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=847632 CPUtime=3.06
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 9381 0 1 0 300 6 0 0 18 0 9 0 57734608 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 211908 8157 2624 9 0 206386 0
[pid=11156/tid=11157] ppid=11151 vsize=847632 CPUtime=2.5
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 3939 0 1 0 247 3 0 0 25 0 9 0 57734609 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4126444361 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11158] ppid=11151 vsize=847632 CPUtime=0.24
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 3221 0 0 0 24 0 0 0 16 0 9 0 57734610 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11159] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57734610 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57734610 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 57734612 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=847632 CPUtime=0.29
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 1526 0 0 0 28 1 0 0 16 0 9 0 57734616 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 57734616 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=847632 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 57734616 867975168 8157 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 852988
[startup+6.30238 s]
/proc/loadavg: 2.23 2.22 2.23 3/93 11164
/proc/meminfo: memFree=710248/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=848660 CPUtime=6.25
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 11829 0 1 0 617 8 0 0 18 0 10 0 57734608 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 212165 10258 2627 9 0 206643 0
[pid=11156/tid=11157] ppid=11151 vsize=848660 CPUtime=5.34
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 4091 0 1 0 531 3 0 0 25 0 10 0 57734609 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4125622958 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11158] ppid=11151 vsize=848660 CPUtime=0.43
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 5395 0 0 0 42 1 0 0 16 0 10 0 57734610 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11159] ppid=11151 vsize=848660 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57734610 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=848660 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 57734610 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=848660 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57734612 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=848660 CPUtime=0.44
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 1644 0 0 0 42 2 0 0 15 0 10 0 57734616 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=848660 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 57734616 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=848660 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 57734616 869027840 10258 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 854016
[startup+12.7021 s]
/proc/loadavg: 2.19 2.21 2.23 3/94 11166
/proc/meminfo: memFree=690776/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=851272 CPUtime=12.62
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 17003 0 1 0 1249 13 0 0 18 0 10 0 57734608 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 212818 13766 2634 9 0 207296 0
[pid=11156/tid=11157] ppid=11151 vsize=851272 CPUtime=10.64
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 4652 0 1 0 1059 5 0 0 25 0 10 0 57734609 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4127834509 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11158] ppid=11151 vsize=851272 CPUtime=1.23
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 9092 0 0 0 119 4 0 0 16 0 10 0 57734610 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11159] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57734610 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 9 0 0 0 0 0 0 0 16 0 10 0 57734610 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57734612 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=851272 CPUtime=0.72
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 2554 0 0 0 70 2 0 0 16 0 10 0 57734616 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 57734616 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 57734616 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11166] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11166/stat : 11166 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 57735530 871702528 13766 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 856628
[startup+25.5026 s]
/proc/loadavg: 2.16 2.20 2.22 3/94 11166
/proc/meminfo: memFree=690520/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=851272 CPUtime=25.35
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 17199 0 1 0 2521 14 0 0 18 0 10 0 57734608 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 212818 13858 2634 9 0 207296 0
[pid=11156/tid=11157] ppid=11151 vsize=851272 CPUtime=23.17
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 4756 0 1 0 2312 5 0 0 25 0 10 0 57734609 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4127837546 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11158] ppid=11151 vsize=851272 CPUtime=1.42
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 9177 0 0 0 137 5 0 0 16 0 10 0 57734610 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11159] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57734610 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 9 0 0 0 0 0 0 0 16 0 10 0 57734610 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57734612 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=851272 CPUtime=0.73
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 2561 0 0 0 71 2 0 0 16 0 10 0 57734616 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 57734616 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 57734616 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11166] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11166/stat : 11166 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 57735530 871702528 13858 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
################
# More data... #
################
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 2579 0 0 0 73 2 0 0 16 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.68
Current children cumulated vsize (KiB) 856628
[startup+1662.3 s]
/proc/loadavg: 2.21 2.26 2.18 3/93 11209
/proc/meminfo: memFree=810768/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=851272 CPUtime=1656.58
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 31950 0 1 0 165615 43 0 0 18 0 9 0 57734608 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 212818 26721 2636 9 0 207296 0
[pid=11156/tid=11157] ppid=11151 vsize=851272 CPUtime=1638.33
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 6804 0 1 0 163819 14 0 0 25 0 9 0 57734609 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4127895316 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11158] ppid=11151 vsize=851272 CPUtime=17.45
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 21861 0 0 0 1720 25 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11159] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 57734612 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=851272 CPUtime=0.75
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 2579 0 0 0 73 2 0 0 16 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.58
Current children cumulated vsize (KiB) 856628
[startup+1722.3 s]
/proc/loadavg: 2.28 2.27 2.19 3/93 11209
/proc/meminfo: memFree=794192/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=851272 CPUtime=1716.28
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 32003 0 1 0 171584 44 0 0 18 0 9 0 57734608 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 212818 26721 2636 9 0 207296 0
[pid=11156/tid=11157] ppid=11151 vsize=851272 CPUtime=1697.57
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 6857 0 1 0 169742 15 0 0 25 0 9 0 57734609 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4127834474 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11158] ppid=11151 vsize=851272 CPUtime=17.92
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 21861 0 0 0 1767 25 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11159] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 57734612 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=851272 CPUtime=0.75
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 2579 0 0 0 73 2 0 0 16 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.28
Current children cumulated vsize (KiB) 856628
[startup+1782.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/93 11209
/proc/meminfo: memFree=762960/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=851272 CPUtime=1775.98
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 32054 0 1 0 177553 45 0 0 18 0 9 0 57734608 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 212818 26721 2636 9 0 207296 0
[pid=11156/tid=11157] ppid=11151 vsize=851272 CPUtime=1756.79
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 6908 0 1 0 175664 15 0 0 25 0 9 0 57734609 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4127896323 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11158] ppid=11151 vsize=851272 CPUtime=18.39
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 21861 0 0 0 1813 26 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11159] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 57734612 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=851272 CPUtime=0.75
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 2579 0 0 0 73 2 0 0 16 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.98
Current children cumulated vsize (KiB) 856628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.5 s]
/proc/loadavg: 2.11 2.22 2.18 3/93 11209
/proc/meminfo: memFree=758864/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=851272 CPUtime=1800.06
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 32075 0 1 0 179961 45 0 0 18 0 9 0 57734608 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 212818 26721 2636 9 0 207296 0
[pid=11156/tid=11157] ppid=11151 vsize=851272 CPUtime=1780.69
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 6929 0 1 0 178054 15 0 0 25 0 9 0 57734609 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4127779998 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11158] ppid=11151 vsize=851272 CPUtime=18.58
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 21861 0 0 0 1832 26 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11159] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 57734612 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=851272 CPUtime=0.75
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 2579 0 0 0 73 2 0 0 16 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 856628
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1806.5 s]
/proc/loadavg: 2.11 2.22 2.18 3/93 11209
/proc/meminfo: memFree=758864/2055920 swapFree=4192812/4192956
[pid=11151] ppid=11149 vsize=5356 CPUtime=0
/proc/11151/stat : 11151 (concrete.sh) S 11149 11151 9825 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 57734607 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11151/statm: 1339 244 201 169 0 50 0
[pid=11156] ppid=11151 vsize=851272 CPUtime=1800.06
/proc/11156/stat : 11156 (java) S 11151 11151 9825 0 -1 0 32075 0 1 0 179961 45 0 0 18 0 9 0 57734608 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/11156/statm: 212818 26721 2636 9 0 207296 0
[pid=11156/tid=11157] ppid=11151 vsize=851272 CPUtime=1780.69
/proc/11156/task/11157/stat : 11157 (java) R 11151 11151 9825 0 -1 64 6929 0 1 0 178054 15 0 0 25 0 9 0 57734609 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4127779998 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11158] ppid=11151 vsize=851272 CPUtime=18.58
/proc/11156/task/11158/stat : 11158 (java) S 11151 11151 9825 0 -1 64 21861 0 0 0 1832 26 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=11156/tid=11159] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11159/stat : 11159 (java) S 11151 11151 9825 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11160] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11160/stat : 11160 (java) S 11151 11151 9825 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 57734610 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11161] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11161/stat : 11161 (java) S 11151 11151 9825 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 57734612 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11162] ppid=11151 vsize=851272 CPUtime=0.75
/proc/11156/task/11162/stat : 11162 (java) S 11151 11151 9825 0 -1 64 2579 0 0 0 73 2 0 0 16 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11163] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11163/stat : 11163 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=11156/tid=11164] ppid=11151 vsize=851272 CPUtime=0
/proc/11156/task/11164/stat : 11164 (java) S 11151 11151 9825 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 57734616 871702528 26721 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 856628
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11151 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=5999
# CPU time returned by wait4() is 0.006998
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1806.52
CPU time (s): 1800.06
CPU user time (s): 1799.61
CPU system time (s): 0.45
CPU usage (%): 99.6424
Max. virtual memory (cumulated for all children) (KiB): 857916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 6
runsolver used 2.27665 second user time and 6.14007 second system time
The end
Begin job on node85 at 2009-07-16 03:11:33
IDJOB=2068516
IDBENCH=54872
IDSOLVER=736
FILE ID=node85/2068516-1247706693
PBS_JOBID= 9521148
Free space on /tmp= 126540 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/pseudo/primesDimacs/normalized-f2000.xml
COMMAND LINE= HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068516-1247706693/watcher-2068516-1247706693 -o /tmp/evaluation-result-2068516-1247706693/solver-2068516-1247706693 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2068516-1247706693.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d0af6237455830e6705fc3a2242cad63
RANDOM SEED=1255413441
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 737048 kB
Buffers: 80796 kB
Cached: 443076 kB
SwapCached: 0 kB
Active: 908024 kB
Inactive: 337204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 737048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2804 kB
Writeback: 0 kB
Mapped: 741544 kB
Slab: 57356 kB
Committed_AS: 1178116 kB
PageTables: 3308 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126536 MiB
End job on node85 at 2009-07-16 03:41:41