73.78/74.69 c [ 74.285] WARNING : Could not free more memory in relations (concrete.relationconverter.RelationManager.strongOptimizeMemory)
74.39/75.20 c CPU-LOAD 14.15
74.39/75.20 c LOADED 181 V (26 E), 966 PredicateConstraint, 78 ExtensionConstraintDynamic, arity 20, 14.15 cpu
760.14/761.21 v 3 4 11 11 0 4 17 0 18 1 0 18 18 0 17 4 0 18 18 8 11 14 0 20 19 14 19 17 4 18 15 0 18 18 4 3 1 17 0 13 0 18 10 18 3 0 2 2 0 10 0 7 13 12 0 24 18 0 11 11 24 3 8 6 17 0 12 18 7 8 19 8 3 4 0 11 2 0 17 0 22 0 24 13 14 13 12 0 19 7 4 12 0 19 8 2 0 11 11 4 18 1 8 0 13 20 11 19 17 0 0 13 13 4 18 19 4 0 3 24 3 0 10 0 17 12 0 4 0 23 4 11 11 0 1 0 13 0 2 7 4 17 8 13 10 0 21 0 11 0 13 2 7 4 3 15 14 13 24 21 4 11 0 0 12 0 8 13 0 12 24 11 0 17 12 24 1 4 17 17 0
760.14/761.21 s SATISFIABLE
760.14/761.21 d NODES 522
760.14/761.21 d CHECKS 143716734
760.14/761.21 c CDC-added-constraints: 3387
760.14/761.21 c CDC-nbsingletontests: 15060
760.14/761.21 c CDC-nogoods: 291984
760.14/761.21 c heuristic-cpu: 0.0
760.14/761.21 c prepro-constraint-ccks: 93292930
760.14/761.21 c prepro-constraint-presenceccks: 597304844
760.14/761.21 c prepro-cpu: 673.51996
760.14/761.21 c prepro-matrix2d-ccks: 45936424
760.14/761.21 c prepro-matrix2d-presenceccks: 0
760.14/761.21 c prepro-removed: 310
760.14/761.21 c search-cpu: 9.320007
760.14/761.21 c search-nps: 56.00854
760.14/761.21 c total-assgn: 522
760.14/761.21 c total-constraint-ccks: 96532556
760.14/761.21 c total-constraint-presence-ccks: 613370226
760.14/761.21 c total-cpu: 683.17
760.14/761.21 c total-matrix2d-ccks: 47184178
760.14/761.21 c total-matrix2d-presence-ccks: 0
760.14/761.21 c TOTAL-NODES 522
760.14/761.21 c TOTAL-CPU 683.17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2077646-1247715235/watcher-2077646-1247715235 -o /tmp/evaluation-result-2077646-1247715235/solver-2077646-1247715235 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2077646-1247715235.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.10 2.11 2.08 4/82 18205
/proc/meminfo: memFree=1354896/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=18576 CPUtime=0
/proc/18205/stat : 18205 (runsolver) R 18203 18205 15459 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58590733 19021824 284 996147200 4194304 4302564 548682068432 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18205/statm: 4644 284 249 26 0 2626 0
[startup+0.0337899 s]
/proc/loadavg: 2.10 2.11 2.08 4/82 18205
/proc/meminfo: memFree=1354896/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101991 s]
/proc/loadavg: 2.10 2.11 2.08 4/82 18205
/proc/meminfo: memFree=1354896/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30201 s]
/proc/loadavg: 2.10 2.11 2.08 4/82 18205
/proc/meminfo: memFree=1354896/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701049 s]
/proc/loadavg: 2.10 2.11 2.08 4/82 18205
/proc/meminfo: memFree=1354896/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50213 s]
/proc/loadavg: 2.10 2.11 2.08 5/92 18218
/proc/meminfo: memFree=1321984/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848584 CPUtime=1.46
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 8378 0 1 0 140 6 0 0 18 0 10 0 58590734 868950016 7123 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212146 7123 2623 9 0 206624 0
[pid=18210/tid=18211] ppid=18205 vsize=848584 CPUtime=0.93
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 3888 0 1 0 90 3 0 0 21 0 10 0 58590735 868950016 7123 996147200 134512640 134550932 4294955344 18446744073709551615 4125705174 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848584 CPUtime=0.16
/proc/18210/task/18212/stat : 18212 (java) S 18205 18205 15459 0 -1 64 2251 0 0 0 15 1 0 0 16 0 10 0 58590736 868950016 7123 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848584 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58590736 868950016 7123 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848584 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58590736 868950016 7123 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848584 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58590738 868950016 7123 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848584 CPUtime=0.34
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1542 0 0 0 33 1 0 0 15 0 10 0 58590742 868950016 7123 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848584 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58590742 868950016 7123 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848584 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58590742 868950016 7123 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) 853940
[startup+3.1113 s]
/proc/loadavg: 2.10 2.11 2.08 4/93 18219
/proc/meminfo: memFree=1265848/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848756 CPUtime=3.05
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 13423 0 1 0 295 10 0 0 18 0 10 0 58590734 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212189 12051 2632 9 0 206667 0
[pid=18210/tid=18211] ppid=18205 vsize=848756 CPUtime=1.73
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 4256 0 1 0 170 3 0 0 25 0 10 0 58590735 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848756 CPUtime=0.69
/proc/18210/task/18212/stat : 18212 (java) R 18205 18205 15459 0 -1 64 6692 0 0 0 65 4 0 0 15 0 10 0 58590736 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 104194467 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848756 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58590736 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848756 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58590736 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848756 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58590738 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848756 CPUtime=0.6
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1775 0 0 0 59 1 0 0 15 0 10 0 58590742 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848756 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58590742 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848756 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58590742 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18219] ppid=18205 vsize=848756 CPUtime=0
/proc/18210/task/18219/stat : 18219 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 58590880 869126144 12051 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 854112
[startup+6.30162 s]
/proc/loadavg: 2.25 2.14 2.09 5/93 18219
/proc/meminfo: memFree=1080760/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848808 CPUtime=6.2
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 34169 0 1 0 600 20 0 0 18 0 10 0 58590734 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212202 32750 2633 9 0 206680 0
[pid=18210/tid=18211] ppid=18205 vsize=848808 CPUtime=3.15
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 4930 0 1 0 311 4 0 0 25 0 10 0 58590735 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=2.42
/proc/18210/task/18212/stat : 18212 (java) R 18205 18205 15459 0 -1 64 26764 0 0 0 229 13 0 0 16 0 10 0 58590736 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 104194320 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58590736 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58590736 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58590738 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.6
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1775 0 0 0 59 1 0 0 15 0 10 0 58590742 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58590742 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58590742 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18219] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18219/stat : 18219 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 58590880 869179392 32750 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 854164
[startup+12.7023 s]
/proc/loadavg: 2.39 2.18 2.10 4/93 18219
/proc/meminfo: memFree=617664/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848808 CPUtime=12.53
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 84515 0 1 0 1208 45 0 0 18 0 10 0 58590734 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212202 83077 2633 9 0 206680 0
[pid=18210/tid=18211] ppid=18205 vsize=848808 CPUtime=5.92
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 15418 0 1 0 581 11 0 0 25 0 10 0 58590735 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=5.99
/proc/18210/task/18212/stat : 18212 (java) R 18205 18205 15459 0 -1 64 66622 0 0 0 567 32 0 0 16 0 10 0 58590736 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 103828653 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58590736 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58590736 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58590738 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.6
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1775 0 0 0 59 1 0 0 15 0 10 0 58590742 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58590742 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58590742 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18219] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18219/stat : 18219 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 58590880 869179392 83077 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 854164
[startup+25.5016 s]
/proc/loadavg: 2.45 2.20 2.11 4/93 18219
/proc/meminfo: memFree=93120/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848808 CPUtime=25.18
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 180807 0 1 0 2425 93 0 0 18 0 10 0 58590734 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212202 179355 2633 9 0 206680 0
[pid=18210/tid=18211] ppid=18205 vsize=848808 CPUtime=10.66
/proc/18210/task/18211/stat : 18211 (java) S 18205 18205 15459 0 -1 64 60456 0 1 0 1033 33 0 0 25 0 10 0 58590735 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=13.88
/proc/18210/task/18212/stat : 18212 (java) R 18205 18205 15459 0 -1 64 117876 0 0 0 1331 57 0 0 18 0 10 0 58590736 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 104191090 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58590736 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58590736 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58590738 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.6
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1775 0 0 0 59 1 0 0 15 0 10 0 58590742 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58590742 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58590742 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18219] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18219/stat : 18219 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 58590880 869179392 179355 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=62.01
/proc/18210/task/18212/stat : 18212 (java) S 18205 18205 15459 0 -1 64 128733 0 0 0 6136 65 0 0 16 0 10 0 58590736 869179392 172829 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58590736 869179392 172829 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58590736 869179392 172829 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58590738 869179392 172829 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.72
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1854 0 0 0 70 2 0 0 17 0 10 0 58590742 869179392 172829 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58590742 869179392 172829 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58590742 869179392 172829 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18262] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18262/stat : 18262 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 17 0 10 0 58598264 869179392 172829 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 741.24
Current children cumulated vsize (KiB) 854164
[startup+755.103 s]
/proc/loadavg: 2.00 2.02 2.05 3/92 18263
/proc/meminfo: memFree=174384/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848808 CPUtime=754.04
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 192022 0 1 0 75299 105 0 0 18 0 9 0 58590734 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212202 172830 2635 9 0 206680 0
[pid=18210/tid=18211] ppid=18205 vsize=848808 CPUtime=691.21
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 60733 0 1 0 69085 36 0 0 25 0 9 0 58590735 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4127423301 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=62.07
/proc/18210/task/18212/stat : 18212 (java) S 18205 18205 15459 0 -1 64 128733 0 0 0 6142 65 0 0 16 0 9 0 58590736 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58590738 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.73
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1854 0 0 0 71 2 0 0 15 0 9 0 58590742 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58590742 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58590742 869179392 172830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 754.04
Current children cumulated vsize (KiB) 854164
[startup+758.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/92 18263
/proc/meminfo: memFree=174384/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848808 CPUtime=757.23
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 192029 0 1 0 75618 105 0 0 18 0 9 0 58590734 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212202 172834 2635 9 0 206680 0
[pid=18210/tid=18211] ppid=18205 vsize=848808 CPUtime=694.35
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 60736 0 1 0 69399 36 0 0 25 0 9 0 58590735 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 101450318 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=62.11
/proc/18210/task/18212/stat : 18212 (java) S 18205 18205 15459 0 -1 64 128733 0 0 0 6146 65 0 0 17 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58590738 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.74
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1858 0 0 0 72 2 0 0 16 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 757.23
Current children cumulated vsize (KiB) 854164
[startup+759.901 s]
/proc/loadavg: 2.00 2.02 2.05 3/92 18263
/proc/meminfo: memFree=174384/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848808 CPUtime=758.83
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 192030 0 1 0 75778 105 0 0 18 0 9 0 58590734 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212202 172834 2635 9 0 206680 0
[pid=18210/tid=18211] ppid=18205 vsize=848808 CPUtime=695.94
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 60737 0 1 0 69558 36 0 0 25 0 9 0 58590735 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 103211122 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=62.13
/proc/18210/task/18212/stat : 18212 (java) S 18205 18205 15459 0 -1 64 128733 0 0 0 6148 65 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58590738 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.74
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1858 0 0 0 72 2 0 0 16 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 758.83
Current children cumulated vsize (KiB) 854164
[startup+760.701 s]
/proc/loadavg: 2.00 2.02 2.05 3/92 18263
/proc/meminfo: memFree=174384/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848808 CPUtime=759.63
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 192030 0 1 0 75858 105 0 0 18 0 9 0 58590734 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212202 172834 2635 9 0 206680 0
[pid=18210/tid=18211] ppid=18205 vsize=848808 CPUtime=696.74
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 60737 0 1 0 69638 36 0 0 25 0 9 0 58590735 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4127447528 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=62.13
/proc/18210/task/18212/stat : 18212 (java) S 18205 18205 15459 0 -1 64 128733 0 0 0 6148 65 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58590738 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.74
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1858 0 0 0 72 2 0 0 16 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.63
Current children cumulated vsize (KiB) 854164
[startup+761.101 s]
/proc/loadavg: 2.00 2.02 2.05 3/92 18263
/proc/meminfo: memFree=174384/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=848808 CPUtime=760.04
/proc/18210/stat : 18210 (java) S 18205 18205 15459 0 -1 0 192030 0 1 0 75899 105 0 0 18 0 9 0 58590734 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/18210/statm: 212202 172834 2635 9 0 206680 0
[pid=18210/tid=18211] ppid=18205 vsize=848808 CPUtime=697.14
/proc/18210/task/18211/stat : 18211 (java) R 18205 18205 15459 0 -1 64 60737 0 1 0 69678 36 0 0 25 0 9 0 58590735 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4127435843 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18212] ppid=18205 vsize=848808 CPUtime=62.13
/proc/18210/task/18212/stat : 18212 (java) S 18205 18205 15459 0 -1 64 128733 0 0 0 6148 65 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18213] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18213/stat : 18213 (java) S 18205 18205 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18214] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18214/stat : 18214 (java) S 18205 18205 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58590736 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18215] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18215/stat : 18215 (java) S 18205 18205 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58590738 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18216] ppid=18205 vsize=848808 CPUtime=0.74
/proc/18210/task/18216/stat : 18216 (java) S 18205 18205 15459 0 -1 64 1858 0 0 0 72 2 0 0 16 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=18210/tid=18217] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18217/stat : 18217 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=18210/tid=18218] ppid=18205 vsize=848808 CPUtime=0
/proc/18210/task/18218/stat : 18218 (java) S 18205 18205 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58590742 869179392 172834 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.04
Current children cumulated vsize (KiB) 854164
[startup+761.301 s]
/proc/loadavg: 2.00 2.02 2.05 3/92 18263
/proc/meminfo: memFree=174384/2055920 swapFree=4192812/4192956
[pid=18205] ppid=18203 vsize=5356 CPUtime=0
/proc/18205/stat : 18205 (concrete.sh) S 18203 18205 15459 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58590733 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18205/statm: 1339 244 201 169 0 50 0
[pid=18210] ppid=18205 vsize=0 CPUtime=760.23
/proc/18210/stat : 18210 (java) Z 18205 18205 15459 0 -1 12 192041 0 1 0 75910 113 0 0 16 0 2 0 58590734 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/18210/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 760.23
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 761.317
CPU time (s): 760.258
CPU user time (s): 759.103
CPU system time (s): 1.15582
CPU usage (%): 99.8609
Max. virtual memory (cumulated for all children) (KiB): 854244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 759.103
system time used= 1.15582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192684
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= 21542
involuntary context switches= 12278
runsolver used 0.935857 second user time and 2.6276 second system time
The end
Begin job on node17 at 2009-07-16 05:33:55
IDJOB=2077646
IDBENCH=56642
IDSOLVER=736
FILE ID=node17/2077646-1247715235
PBS_JOBID= 9521314
Free space on /tmp= 66360 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/wordsHerald/normalized-crossword-m1-words-15-05.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-2077646-1247715235/watcher-2077646-1247715235 -o /tmp/evaluation-result-2077646-1247715235/solver-2077646-1247715235 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2077646-1247715235.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4360b7515e3cf9892bebc930385bd72b
RANDOM SEED=944473012
node17.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.213
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.213
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: 1355312 kB
Buffers: 90440 kB
Cached: 328100 kB
SwapCached: 0 kB
Active: 243444 kB
Inactive: 377008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1355312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3872 kB
Writeback: 0 kB
Mapped: 222388 kB
Slab: 64968 kB
Committed_AS: 759488 kB
PageTables: 2308 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= 66356 MiB
End job on node17 at 2009-07-16 05:46:36