3.14/3.29 c CPU-LOAD 1.93
3.14/3.29 c LOADED 24 V (24 E), 76 ExtensionConstraintGeneral, arity 3, 1.93 cpu
1325.30/1333.32 v 0 1 8 17 14 22 1 5 8 0 0 14 21 2 3 22 7 3 3 12 2 18 4 21
1325.30/1333.33 s SATISFIABLE
1325.30/1333.33 d NODES 1447499
1325.30/1333.33 d CHECKS 2387090011
1325.30/1333.33 c CDC-added-constraints: 3
1325.30/1333.33 c CDC-nbsingletontests: 984
1325.30/1333.33 c CDC-nogoods: 3
1325.30/1333.33 c heuristic-cpu: 0.0
1325.30/1333.33 c prepro-constraint-ccks: 615137
1325.30/1333.33 c prepro-constraint-presenceccks: 259518
1325.30/1333.33 c prepro-cpu: 0.32000002
1325.30/1333.33 c prepro-matrix2d-ccks: 4320
1325.30/1333.33 c prepro-matrix2d-presenceccks: 0
1325.30/1333.33 c prepro-removed: 0
1325.30/1333.33 c search-cpu: 1310.4501
1325.30/1333.33 c search-nps: 1104.5815
1325.30/1333.33 c total-assgn: 1447499
1325.30/1333.33 c total-constraint-ccks: 2382512863
1325.30/1333.33 c total-constraint-presence-ccks: 2256423916
1325.30/1333.33 c total-cpu: 1310.81
1325.30/1333.33 c total-matrix2d-ccks: 4577148
1325.30/1333.33 c total-matrix2d-presence-ccks: 0
1325.30/1333.33 c TOTAL-NODES 1447499
1325.30/1333.33 c TOTAL-CPU 1310.81
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2075116-1247712812/watcher-2075116-1247712812 -o /tmp/evaluation-result-2075116-1247712812/solver-2075116-1247712812 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2075116-1247712812.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.01 2.03 2.00 4/81 20087
/proc/meminfo: memFree=1686280/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=18576 CPUtime=0
/proc/20087/stat : 20087 (runsolver) R 20085 20087 19964 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58347852 19021824 284 996147200 4194304 4302564 548682068432 18446744073709551615 217871609127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20087/statm: 4644 284 249 26 0 2626 0
[startup+0.0275349 s]
/proc/loadavg: 2.01 2.03 2.00 4/81 20087
/proc/meminfo: memFree=1686280/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102117 s]
/proc/loadavg: 2.01 2.03 2.00 4/81 20087
/proc/meminfo: memFree=1686280/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301144 s]
/proc/loadavg: 2.01 2.03 2.00 4/81 20087
/proc/meminfo: memFree=1686280/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70119 s]
/proc/loadavg: 2.01 2.03 2.00 4/81 20087
/proc/meminfo: memFree=1686280/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50258 s]
/proc/loadavg: 2.01 2.03 2.00 4/91 20100
/proc/meminfo: memFree=1669432/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=847428 CPUtime=1.46
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 8406 0 1 0 140 6 0 0 18 0 9 0 58347853 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 211857 7155 2614 9 0 206342 0
[pid=20092/tid=20093] ppid=20087 vsize=847428 CPUtime=0.94
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 3705 0 1 0 92 2 0 0 23 0 9 0 58347854 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20094] ppid=20087 vsize=847428 CPUtime=0.25
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 2578 0 0 0 24 1 0 0 15 0 9 0 58347855 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20095] ppid=20087 vsize=847428 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20096] ppid=20087 vsize=847428 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58347855 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20097] ppid=20087 vsize=847428 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=847428 CPUtime=0.24
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1428 0 0 0 23 1 0 0 16 0 9 0 58347861 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=847428 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=847428 CPUtime=0
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 58347862 867766272 7155 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 852784
[startup+3.10146 s]
/proc/loadavg: 2.01 2.03 2.00 4/91 20100
/proc/meminfo: memFree=1662712/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=3.04
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 11087 0 1 0 295 9 0 0 18 0 10 0 58347853 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 9579 2615 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=2.03
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 4009 0 1 0 199 4 0 0 25 0 10 0 58347854 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4125208533 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=0.72
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 4936 0 0 0 69 3 0 0 16 0 10 0 58347855 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58347855 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58347855 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58347858 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.27
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1447 0 0 0 26 1 0 0 16 0 10 0 58347861 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58347862 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58347862 868818944 9579 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 853812
[startup+6.30165 s]
/proc/loadavg: 2.17 2.06 2.01 5/91 20102
/proc/meminfo: memFree=1655984/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=5.18
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 11527 0 1 0 497 21 0 0 18 0 9 0 58347853 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 9989 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=3.65
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 4117 0 1 0 359 6 0 0 25 0 9 0 58347854 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4126489479 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=1.09
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 5219 0 0 0 102 7 0 0 16 0 9 0 58347855 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.33
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1490 0 0 0 32 1 0 0 15 0 9 0 58347861 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.06
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 2 4 0 0 15 0 9 0 58347862 868818944 9989 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 853812
[startup+12.7024 s]
/proc/loadavg: 2.15 2.06 2.01 3/91 20102
/proc/meminfo: memFree=1655856/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=11.59
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 11584 0 1 0 1137 22 0 0 18 0 9 0 58347853 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 9995 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=10
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 4168 0 1 0 994 6 0 0 25 0 9 0 58347854 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4126482090 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=1.14
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 5222 0 0 0 106 8 0 0 16 0 9 0 58347855 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.34
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1493 0 0 0 33 1 0 0 16 0 9 0 58347861 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.06
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 2 4 0 0 15 0 9 0 58347862 868818944 9995 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 853812
[startup+25.5029 s]
/proc/loadavg: 2.13 2.06 2.01 3/91 20102
/proc/meminfo: memFree=1655856/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=24.37
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 11687 0 1 0 2415 22 0 0 18 0 9 0 58347853 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 9996 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=22.68
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 4270 0 1 0 2262 6 0 0 25 0 9 0 58347854 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4126482576 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=1.25
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 5222 0 0 0 116 9 0 0 16 0 9 0 58347855 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.34
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1494 0 0 0 33 1 0 0 16 0 9 0 58347861 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.06
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 2 4 0 0 15 0 9 0 58347862 868818944 9996 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.37
Current children cumulated vsize (KiB) 853812
[startup+51.1028 s]
/proc/loadavg: 2.08 2.05 2.01 3/82 20135
/proc/meminfo: memFree=1742408/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1310.38
Current children cumulated vsize (KiB) 853812
[startup+1324.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 20141
/proc/meminfo: memFree=1672080/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=1316.75
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 24382 0 1 0 131536 139 0 0 18 0 9 0 58347853 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 11664 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=1304.45
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 15297 0 1 0 130402 43 0 0 25 0 9 0 58347854 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4126521728 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=11.74
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 6890 0 0 0 1094 80 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.34
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1494 0 0 0 33 1 0 0 16 0 9 0 58347861 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.19
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 6 13 0 0 15 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1316.75
Current children cumulated vsize (KiB) 853812
[startup+1327.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 20141
/proc/meminfo: memFree=1671888/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=1319.93
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 24410 0 1 0 131854 139 0 0 18 0 9 0 58347853 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 11664 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=1307.6
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 15325 0 1 0 130717 43 0 0 25 0 9 0 58347854 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4126482178 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=11.76
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 6890 0 0 0 1096 80 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.34
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1494 0 0 0 33 1 0 0 16 0 9 0 58347861 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.19
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 6 13 0 0 15 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1319.93
Current children cumulated vsize (KiB) 853812
[startup+1331.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 20141
/proc/meminfo: memFree=1671696/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=1323.11
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 24438 0 1 0 132172 139 0 0 18 0 9 0 58347853 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 11664 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=1310.76
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 15353 0 1 0 131033 43 0 0 25 0 9 0 58347854 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4126521697 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=11.78
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 6890 0 0 0 1098 80 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.34
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1494 0 0 0 33 1 0 0 16 0 9 0 58347861 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.19
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 6 13 0 0 15 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1323.11
Current children cumulated vsize (KiB) 853812
[startup+1332.7 s]
/proc/loadavg: 2.02 2.01 2.00 4/82 20141
/proc/meminfo: memFree=1671696/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=1324.71
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 24451 0 1 0 132331 140 0 0 18 0 9 0 58347853 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 11664 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=1312.34
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 15366 0 1 0 131191 43 0 0 25 0 9 0 58347854 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4126482737 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=11.8
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 6890 0 0 0 1099 81 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.34
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1494 0 0 0 33 1 0 0 16 0 9 0 58347861 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.19
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 6 13 0 0 15 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1324.71
Current children cumulated vsize (KiB) 853812
[startup+1333.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 20141
/proc/meminfo: memFree=1671632/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=1325.11
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 24455 0 1 0 132371 140 0 0 18 0 9 0 58347853 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 11664 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=1312.74
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 15370 0 1 0 131231 43 0 0 25 0 9 0 58347854 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4126482737 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=11.8
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 6890 0 0 0 1099 81 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.34
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1494 0 0 0 33 1 0 0 16 0 9 0 58347861 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.19
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 6 13 0 0 15 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1325.11
Current children cumulated vsize (KiB) 853812
[startup+1333.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 20141
/proc/meminfo: memFree=1671632/2055920 swapFree=4192812/4192956
[pid=20087] ppid=20085 vsize=5356 CPUtime=0
/proc/20087/stat : 20087 (concrete.sh) S 20085 20087 19964 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58347852 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20087/statm: 1339 244 201 169 0 50 0
[pid=20092] ppid=20087 vsize=848456 CPUtime=1325.3
/proc/20092/stat : 20092 (java) S 20087 20087 19964 0 -1 0 24457 0 1 0 132390 140 0 0 18 0 9 0 58347853 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/20092/statm: 212114 11664 2618 9 0 206599 0
[pid=20092/tid=20093] ppid=20087 vsize=848456 CPUtime=1312.93
/proc/20092/task/20093/stat : 20093 (java) R 20087 20087 19964 0 -1 64 15372 0 1 0 131250 43 0 0 25 0 9 0 58347854 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4126482178 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20094] ppid=20087 vsize=848456 CPUtime=11.81
/proc/20092/task/20094/stat : 20094 (java) S 20087 20087 19964 0 -1 64 6890 0 0 0 1100 81 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20095] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20095/stat : 20095 (java) S 20087 20087 19964 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20096] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20096/stat : 20096 (java) S 20087 20087 19964 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58347855 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=20092/tid=20097] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20097/stat : 20097 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58347858 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20098] ppid=20087 vsize=848456 CPUtime=0.34
/proc/20092/task/20098/stat : 20098 (java) S 20087 20087 19964 0 -1 64 1494 0 0 0 33 1 0 0 16 0 9 0 58347861 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20099] ppid=20087 vsize=848456 CPUtime=0
/proc/20092/task/20099/stat : 20099 (java) S 20087 20087 19964 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=20092/tid=20100] ppid=20087 vsize=848456 CPUtime=0.19
/proc/20092/task/20100/stat : 20100 (java) S 20087 20087 19964 0 -1 64 1 0 0 0 6 13 0 0 15 0 9 0 58347862 868818944 11664 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1325.3
Current children cumulated vsize (KiB) 853812
Child status: 0
Real time (s): 1333.37
CPU time (s): 1325.36
CPU user time (s): 1323.95
CPU system time (s): 1.41279
CPU usage (%): 99.3994
Max. virtual memory (cumulated for all children) (KiB): 853812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1323.95
system time used= 1.41278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25109
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131858
involuntary context switches= 149591
runsolver used 1.61775 second user time and 4.51131 second system time
The end
Begin job on node28 at 2009-07-16 04:53:32
IDJOB=2075116
IDBENCH=56233
IDSOLVER=736
FILE ID=node28/2075116-1247712812
PBS_JOBID= 9521462
Free space on /tmp= 66004 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-44_ext.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-2075116-1247712812/watcher-2075116-1247712812 -o /tmp/evaluation-result-2075116-1247712812/solver-2075116-1247712812 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2075116-1247712812.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d1272fd388a45a399d7e566840cd0a52
RANDOM SEED=1966867896
node28.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.230
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.230
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1686760 kB
Buffers: 33892 kB
Cached: 160724 kB
SwapCached: 0 kB
Active: 184288 kB
Inactive: 121720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1686760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4136 kB
Writeback: 0 kB
Mapped: 131752 kB
Slab: 47868 kB
Committed_AS: 738556 kB
PageTables: 2072 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66004 MiB
End job on node28 at 2009-07-16 05:15:46