5.05/4.92 c CPU-LOAD 3.52
5.05/4.92 c LOADED 561 V (4 E), 5984 PredicateConstraint, arity 3, 3.52 cpu
31.61/31.68 v 2 0 2 3 0 3 3 0 2 0 2 1 2 0 3 1 1 0 2 0 2 2 3 3 1 0 1 3 1 1 1 3 0 2 3 0 0 2 2 3 1 1 0 2 0 3 3 1 1 2 1 1 3 3 1 0 2 2 0 1 0 0 2 0 1 2 0 1 3 3 1 1 1 0 3 0 2 1 2 1 1 0 2 1 0 2 0 0 3 0 3 0 0 1 0 3 0 0 2 2 1 1 1 3 2 0 0 2 1 1 2 1 1 0 1 3 2 3 1 2 1 0 0 2 0 0 1 2 0 2 1 1 3 2 2 3 0 3 0 2 1 0 3 3 1 2 2 3 3 0 1 1 0 2 1 2 3 2 2 3 3 1 1 1 0 1 0 2 0 1 2 0 0 2 0 3 1 0 2 3 0 2 2 0 1 1 2 2 1 0 2 0 1 0 3 1 0 0 3 2 1 0 1 3 1 3 2 3 0 0 0 2 0 2 1 3 0 1 3 1 3 2 3 2 3 0 0 1 1 1 2 0 1 3 2 2 0 3 1 3 1 2 2 3 0 3 2 3 0 0 1 3 0 2 1 2 1 0 2 0 1 0 1 3 0 1 0 2 2 0 0 2 3 3 2 3 1 3 1 3 0 2 3 1 3 1 1 1 1 2 2 0 2 3 2 0 0 3 1 0 2 3 0 2 0 3 3 2 2 3 0 0 1 1 0 1 3 0 1 0 2 2 1 2 1 3 1 2 3 0 0 0 3 2 0 1 3 0 2 1 3 0 0 0 3 2 2 0 0 1 2 3 2 0 1 1 3 2 3 1 0 3 1 2 3 0 2 1 2 1 2 1 0 1 2 0 3 2 0 1 2 2 1 0 3 1 1 3 2 2 1 3 3 1 1 2 1 2 0 2 0 0 1 3 0 3 2 1 0 1 2 0 1 2 3 0 0 0 2 3 3 0 2 0 0 0 2 3 2 3 3 1 2 2 0 2 0 3 2 2 2 2 1 3 0 1 0 0 3 1 2 1 0 0 3 1 0 0 3 2 2 1 3 1 3 3 2 1 1 0 3 0 0 2 1 3 2 2 0 1 1 1 3 1 3 0 3 0 2 1 3 1 0 1 1 1 2 3 0 1 2 1 2 1 2 0 1 1 0 0 2 2 0 2 0 2 3 2 1 0 3 1 1 1 1 3 3 1 2 2 3 3 1 2 0 0 2 1 1 1 0 2 3 0 2 2 1 3 1 0 0 3 0 1 3 2 3 2 0 0 3
31.61/31.68 s SATISFIABLE
31.61/31.68 d NODES 7294
31.61/31.68 d CHECKS 2714613
31.61/31.68 c heuristic-cpu: 0.0
31.61/31.68 c prepro-constraint-ccks: 59840
31.61/31.68 c prepro-constraint-presenceccks: 17952
31.61/31.68 c prepro-cpu: 0.06999999
31.61/31.68 c prepro-matrix2d-ccks: 0
31.61/31.68 c prepro-matrix2d-presenceccks: 0
31.61/31.68 c prepro-removed: 0
31.61/31.68 c search-cpu: 25.239998
31.61/31.68 c search-nps: 288.98575
31.61/31.68 c total-assgn: 7294
31.61/31.68 c total-constraint-ccks: 2714613
31.61/31.68 c total-constraint-presence-ccks: 8430951
31.61/31.68 c total-cpu: 25.359999
31.61/31.68 c total-matrix2d-ccks: 0
31.61/31.68 c total-matrix2d-presence-ccks: 0
31.61/31.68 c TOTAL-NODES 7294
31.61/31.68 c TOTAL-CPU 25.359999
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2073168-1247711351/watcher-2073168-1247711351 -o /tmp/evaluation-result-2073168-1247711351/solver-2073168-1247711351 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2073168-1247711351.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: 1.48 1.89 1.97 3/67 10326
/proc/meminfo: memFree=1631164/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 299 127 0 0 0 0 0 0 18 0 1 0 58202178 5484544 238 996147200 4194304 4889804 548682068816 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10326/statm: 1339 238 197 169 0 50 0
[startup+0.032975 s]
/proc/loadavg: 1.48 1.89 1.97 3/67 10326
/proc/meminfo: memFree=1631164/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102981 s]
/proc/loadavg: 1.48 1.89 1.97 3/67 10326
/proc/meminfo: memFree=1631164/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.303004 s]
/proc/loadavg: 1.48 1.89 1.97 3/67 10326
/proc/meminfo: memFree=1631164/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702048 s]
/proc/loadavg: 1.48 1.89 1.97 3/67 10326
/proc/meminfo: memFree=1631164/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50114 s]
/proc/loadavg: 1.48 1.89 1.97 3/91 10361
/proc/meminfo: memFree=1600252/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=848544 CPUtime=1.67
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 8284 0 1 0 161 6 0 0 19 0 9 0 58202178 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212136 7158 2624 9 0 206614 0
[pid=10331/tid=10332] ppid=10326 vsize=848544 CPUtime=1.22
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 3868 0 1 0 119 3 0 0 23 0 9 0 58202179 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4126369895 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=848544 CPUtime=0.12
/proc/10331/task/10333/stat : 10333 (java) S 10326 10326 8601 0 -1 64 2190 0 0 0 11 1 0 0 16 0 9 0 58202180 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=848544 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=848544 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58202181 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=848544 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=848544 CPUtime=0.29
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 1528 0 0 0 29 0 0 0 16 0 9 0 58202186 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=848544 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=848544 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 868909056 7158 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 853900
[startup+3.10132 s]
/proc/loadavg: 1.48 1.89 1.97 4/91 10361
/proc/meminfo: memFree=1589820/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=849572 CPUtime=3.26
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 9490 0 1 0 319 7 0 0 19 0 10 0 58202178 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212393 8259 2626 9 0 206871 0
[pid=10331/tid=10332] ppid=10326 vsize=849572 CPUtime=2.53
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 3927 0 1 0 250 3 0 0 25 0 10 0 58202179 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4126975100 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=849572 CPUtime=0.24
/proc/10331/task/10333/stat : 10333 (java) S 10326 10326 8601 0 -1 64 3158 0 0 0 23 1 0 0 16 0 10 0 58202180 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=849572 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58202181 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=849572 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58202181 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=849572 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 58202183 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=849572 CPUtime=0.45
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 1702 0 0 0 44 1 0 0 16 0 10 0 58202186 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=849572 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58202186 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=849572 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 58202186 869961728 8259 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 854928
[startup+6.30268 s]
/proc/loadavg: 1.52 1.89 1.97 4/92 10364
/proc/meminfo: memFree=1565868/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=851664 CPUtime=6.44
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 15104 0 1 0 630 14 0 0 19 0 9 0 58202178 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212916 12117 2636 9 0 207394 0
[pid=10331/tid=10332] ppid=10326 vsize=851664 CPUtime=4.92
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 4366 0 1 0 487 5 0 0 25 0 9 0 58202179 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4127717978 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=851664 CPUtime=0.78
/proc/10331/task/10333/stat : 10333 (java) S 10326 10326 8601 0 -1 64 7452 0 0 0 73 5 0 0 16 0 9 0 58202180 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=851664 CPUtime=0.7
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 2578 0 0 0 69 1 0 0 15 0 9 0 58202186 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 872103936 12117 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 857020
[startup+12.7014 s]
/proc/loadavg: 1.56 1.89 1.97 3/91 10365
/proc/meminfo: memFree=1537268/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=851664 CPUtime=12.8
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 18033 0 1 0 1265 15 0 0 19 0 9 0 58202178 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212916 14389 2636 9 0 207394 0
[pid=10331/tid=10332] ppid=10326 vsize=851664 CPUtime=11
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 4471 0 1 0 1094 6 0 0 25 0 9 0 58202179 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4127746853 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=851664 CPUtime=1.06
/proc/10331/task/10333/stat : 10333 (java) S 10326 10326 8601 0 -1 64 10270 0 0 0 100 6 0 0 16 0 9 0 58202180 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=851664 CPUtime=0.72
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 2584 0 0 0 71 1 0 0 15 0 9 0 58202186 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 872103936 14389 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 857020
[startup+25.5028 s]
/proc/loadavg: 1.66 1.90 1.97 3/91 10365
/proc/meminfo: memFree=1532596/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=851664 CPUtime=25.54
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 19002 0 1 0 2538 16 0 0 19 0 9 0 58202178 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212916 14656 2636 9 0 207394 0
[pid=10331/tid=10332] ppid=10326 vsize=851664 CPUtime=23.43
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 4505 0 1 0 2337 6 0 0 25 0 9 0 58202179 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4127746753 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=851664 CPUtime=1.36
/proc/10331/task/10333/stat : 10333 (java) S 10326 10326 8601 0 -1 64 11204 0 0 0 129 7 0 0 16 0 9 0 58202180 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=851664 CPUtime=0.72
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 2585 0 0 0 71 1 0 0 15 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 857020
Solver just ended. Dumping a history of the last processes samples
[startup+28.7012 s]
/proc/loadavg: 1.66 1.90 1.97 3/91 10365
/proc/meminfo: memFree=1532212/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=851664 CPUtime=28.72
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 19011 0 1 0 2856 16 0 0 19 0 9 0 58202178 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212916 14656 2636 9 0 207394 0
[pid=10331/tid=10332] ppid=10326 vsize=851664 CPUtime=26.57
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 4514 0 1 0 2651 6 0 0 25 0 9 0 58202179 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4126149616 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=851664 CPUtime=1.4
/proc/10331/task/10333/stat : 10333 (java) S 10326 10326 8601 0 -1 64 11204 0 0 0 133 7 0 0 16 0 9 0 58202180 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=851664 CPUtime=0.72
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 2585 0 0 0 71 1 0 0 15 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.72
Current children cumulated vsize (KiB) 857020
[startup+30.3024 s]
/proc/loadavg: 1.66 1.90 1.97 3/91 10365
/proc/meminfo: memFree=1531828/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=851664 CPUtime=30.32
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 19016 0 1 0 3015 17 0 0 19 0 9 0 58202178 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212916 14656 2636 9 0 207394 0
[pid=10331/tid=10332] ppid=10326 vsize=851664 CPUtime=28.14
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 4519 0 1 0 2808 6 0 0 25 0 9 0 58202179 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 103210609 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=851664 CPUtime=1.42
/proc/10331/task/10333/stat : 10333 (java) S 10326 10326 8601 0 -1 64 11204 0 0 0 135 7 0 0 16 0 9 0 58202180 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=851664 CPUtime=0.72
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 2585 0 0 0 71 1 0 0 15 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 872103936 14656 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.32
Current children cumulated vsize (KiB) 857020
[startup+31.1074 s]
/proc/loadavg: 1.69 1.90 1.97 3/91 10365
/proc/meminfo: memFree=1531636/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=851664 CPUtime=31.12
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 20234 0 1 0 3095 17 0 0 19 0 9 0 58202178 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212916 15867 2636 9 0 207394 0
[pid=10331/tid=10332] ppid=10326 vsize=851664 CPUtime=28.89
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 4526 0 1 0 2883 6 0 0 25 0 9 0 58202179 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=851664 CPUtime=1.48
/proc/10331/task/10333/stat : 10333 (java) R 10326 10326 8601 0 -1 64 12415 0 0 0 140 8 0 0 16 0 9 0 58202180 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 102758168 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=851664 CPUtime=0.72
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 2585 0 0 0 71 1 0 0 15 0 9 0 58202186 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 872103936 15867 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.12
Current children cumulated vsize (KiB) 857020
[startup+31.5025 s]
/proc/loadavg: 1.69 1.90 1.97 3/91 10365
/proc/meminfo: memFree=1531636/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=852244 CPUtime=31.52
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 21177 0 1 0 3134 18 0 0 19 0 9 0 58202178 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 213061 15968 2636 9 0 207539 0
[pid=10331/tid=10332] ppid=10326 vsize=852244 CPUtime=29.01
/proc/10331/task/10332/stat : 10332 (java) R 10326 10326 8601 0 -1 64 4533 0 1 0 2895 6 0 0 25 0 9 0 58202179 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=852244 CPUtime=1.75
/proc/10331/task/10333/stat : 10333 (java) R 10326 10326 8601 0 -1 64 13351 0 0 0 167 8 0 0 16 0 9 0 58202180 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 102758179 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=852244 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=852244 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 58202181 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=852244 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=852244 CPUtime=0.72
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 2585 0 0 0 71 1 0 0 15 0 9 0 58202186 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=852244 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=852244 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 872697856 15968 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.52
Current children cumulated vsize (KiB) 857600
[startup+31.7025 s]
/proc/loadavg: 1.69 1.90 1.97 3/91 10365
/proc/meminfo: memFree=1531636/2055920 swapFree=4192812/4192956
[pid=10326] ppid=10324 vsize=5356 CPUtime=0
/proc/10326/stat : 10326 (concrete.sh) S 10324 10326 8601 0 -1 4194304 341 291 0 0 0 0 0 0 16 0 1 0 58202178 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10326/statm: 1339 244 201 169 0 50 0
[pid=10331] ppid=10326 vsize=851664 CPUtime=31.7
/proc/10331/stat : 10331 (java) S 10326 10326 8601 0 -1 0 21799 0 1 0 3151 19 0 0 19 0 9 0 58202178 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10331/statm: 212916 15956 2636 9 0 207394 0
[pid=10331/tid=10332] ppid=10326 vsize=851664 CPUtime=29.07
/proc/10331/task/10332/stat : 10332 (java) S 10326 10326 8601 0 -1 64 4540 0 1 0 2900 7 0 0 25 0 9 0 58202179 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10333] ppid=10326 vsize=851664 CPUtime=1.88
/proc/10331/task/10333/stat : 10333 (java) S 10326 10326 8601 0 -1 64 13966 0 0 0 179 9 0 0 16 0 9 0 58202180 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10334] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10334/stat : 10334 (java) S 10326 10326 8601 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10335] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10335/stat : 10335 (java) S 10326 10326 8601 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 58202181 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10336] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10336/stat : 10336 (java) S 10326 10326 8601 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 58202183 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10337] ppid=10326 vsize=851664 CPUtime=0.72
/proc/10331/task/10337/stat : 10337 (java) S 10326 10326 8601 0 -1 64 2585 0 0 0 71 1 0 0 15 0 9 0 58202186 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10331/tid=10338] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10338/stat : 10338 (java) S 10326 10326 8601 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58202186 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=10331/tid=10339] ppid=10326 vsize=851664 CPUtime=0
/proc/10331/task/10339/stat : 10339 (java) S 10326 10326 8601 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 58202186 872103936 15956 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.7
Current children cumulated vsize (KiB) 857020
Child status: 0
Real time (s): 31.7294
CPU time (s): 31.7212
CPU user time (s): 31.5142
CPU system time (s): 0.206968
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 858584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.5142
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22444
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= 5864
involuntary context switches= 5508
runsolver used 0.053991 second user time and 0.102984 second system time
The end
Begin job on node9 at 2009-07-16 04:29:11
IDJOB=2073168
IDBENCH=55954
IDSOLVER=735
FILE ID=node9/2073168-1247711351
PBS_JOBID= 9521365
Free space on /tmp= 66376 MiB
SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/ramsey4/normalized-ramsey-34-4.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2073168-1247711351/watcher-2073168-1247711351 -o /tmp/evaluation-result-2073168-1247711351/solver-2073168-1247711351 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2073168-1247711351.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ee0954224777e4f5d07f8ddec47421b6
RANDOM SEED=726083774
node9.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.216
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.216
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: 1631644 kB
Buffers: 67896 kB
Cached: 271356 kB
SwapCached: 0 kB
Active: 84308 kB
Inactive: 270352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1631644 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2856 kB
Writeback: 0 kB
Mapped: 25252 kB
Slab: 55324 kB
Committed_AS: 495760 kB
PageTables: 1604 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= 66372 MiB
End job on node9 at 2009-07-16 04:29:42