138.97/140.26 c CPU-LOAD 25.36
138.97/140.26 c LOADED 27 V (2 E), 20 PredicateConstraint, arity 26, 25.36 cpu
139.47/140.71 v 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1 1
139.47/140.71 s SATISFIABLE
139.47/140.71 d NODES 600025
139.47/140.71 d CHECKS 120578
139.47/140.71 c gac3-effective-revisions: 0
139.47/140.71 c gac3-useless-revisions: 478
139.47/140.71 c prepro-constraint-ccks: 69920
139.47/140.71 c prepro-constraint-presenceccks: 478
139.47/140.71 c prepro-cpu: 0.07
139.47/140.71 c prepro-matrix2d-ccks: 0
139.47/140.71 c prepro-matrix2d-presenceccks: 0
139.47/140.71 c prepro-removed: 0
139.47/140.71 c total-assgn: 600025
139.47/140.71 c total-constraint-ccks: 120578
139.47/140.71 c total-constraint-presence-ccks: 478
139.47/140.71 c total-cpu: 0.32
139.47/140.71 c total-matrix2d-ccks: 0
139.47/140.71 c total-matrix2d-presence-ccks: 0
139.47/140.71 c tuples: 0
139.47/140.71 c tuples-collisions: 0
139.47/140.71 c TOTAL-NODES 600025
139.47/140.71 c TOTAL-CPU 0.32
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065149-1215146030/watcher-1065149-1215146030 -o /tmp/evaluation-result-1065149-1215146030/solver-1065149-1215146030 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s Tabu HOME/instance-1065149-1215146030.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 10597
/proc/meminfo: memFree=1647984/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 1993575342 5484544 230 996147200 4194304 4889804 548682068784 18446744073709551615 269930430546 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/10597/statm: 1339 230 191 169 0 50 0
[pid=10598] ppid=10597 vsize=5356 CPUtime=0
/proc/10598/stat : 10598 (concrete.sh) R 10597 10597 10560 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 1993575343 5484544 231 996147200 4194304 4889804 548682068784 18446744073709551615 269930132891 0 0 4096 65538 0 0 0 17 1 0 0
/proc/10598/statm: 1339 231 192 169 0 50 0
[startup+0.0215951 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 10597
/proc/meminfo: memFree=1647984/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101569 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 10597
/proc/meminfo: memFree=1647984/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301597 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 10597
/proc/meminfo: memFree=1647984/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701642 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 10597
/proc/meminfo: memFree=1647984/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50274 s]
/proc/loadavg: 2.01 2.00 1.99 4/83 10609
/proc/meminfo: memFree=1582616/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=846968 CPUtime=1.47
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 30264 0 1 0 131 16 0 0 22 0 10 0 1993575343 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 211742 29373 2578 9 0 206302 0
[pid=10600/tid=10601] ppid=10597 vsize=846968 CPUtime=0.48
/proc/10600/task/10601/stat : 10601 (java) S 10597 10597 10560 0 -1 64 7989 0 1 0 43 5 0 0 24 0 10 0 1993575344 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=846968 CPUtime=0.79
/proc/10600/task/10602/stat : 10602 (java) R 10597 10597 10560 0 -1 64 20807 0 0 0 70 9 0 0 19 0 10 0 1993575346 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 103736065 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=846968 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1993575346 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=846968 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993575346 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=846968 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=846968 CPUtime=0.17
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 731 0 0 0 17 0 0 0 16 0 10 0 1993575348 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=846968 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=846968 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1993575348 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=846968 CPUtime=0
/proc/10600/task/10609/stat : 10609 (java) S 10597 10597 10560 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 1993575384 867295232 29373 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 852324
[startup+3.10293 s]
/proc/loadavg: 2.01 2.00 1.99 4/83 10609
/proc/meminfo: memFree=1469016/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=852568 CPUtime=3.05
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 74198 0 1 0 269 36 0 0 22 0 10 0 1993575343 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 213142 73296 2578 9 0 207702 0
[pid=10600/tid=10601] ppid=10597 vsize=852568 CPUtime=0.71
/proc/10600/task/10601/stat : 10601 (java) S 10597 10597 10560 0 -1 64 11369 0 1 0 64 7 0 0 17 0 10 0 1993575344 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=852568 CPUtime=2.15
/proc/10600/task/10602/stat : 10602 (java) R 10597 10597 10560 0 -1 64 61361 0 0 0 187 28 0 0 25 0 10 0 1993575346 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 104185411 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=852568 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1993575346 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=852568 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993575346 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=852568 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=852568 CPUtime=0.17
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 731 0 0 0 17 0 0 0 16 0 10 0 1993575348 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=852568 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=852568 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1993575348 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=852568 CPUtime=0
/proc/10600/task/10609/stat : 10609 (java) S 10597 10597 10560 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 1993575384 873029632 73296 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 857924
[startup+6.30131 s]
/proc/loadavg: 2.09 2.02 2.00 3/83 10609
/proc/meminfo: memFree=1190744/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=857364 CPUtime=6.23
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 117333 0 1 0 568 55 0 0 22 0 10 0 1993575343 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 214341 116418 2579 9 0 208901 0
[pid=10600/tid=10601] ppid=10597 vsize=857364 CPUtime=2.41
/proc/10600/task/10601/stat : 10601 (java) R 10597 10597 10560 0 -1 64 14843 0 1 0 231 10 0 0 25 0 10 0 1993575344 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4126222218 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=857364 CPUtime=3.62
/proc/10600/task/10602/stat : 10602 (java) S 10597 10597 10560 0 -1 64 101016 0 0 0 318 44 0 0 16 0 10 0 1993575346 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1993575346 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993575346 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=857364 CPUtime=0.17
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 737 0 0 0 17 0 0 0 16 0 10 0 1993575348 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1993575348 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10609/stat : 10609 (java) S 10597 10597 10560 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 1993575384 877940736 116418 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 862720
[startup+12.7011 s]
/proc/loadavg: 2.16 2.03 2.01 3/83 10609
/proc/meminfo: memFree=1122336/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=857364 CPUtime=12.57
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 143524 0 1 0 1188 69 0 0 22 0 10 0 1993575343 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 214341 133422 2580 9 0 208901 0
[pid=10600/tid=10601] ppid=10597 vsize=857364 CPUtime=5.81
/proc/10600/task/10601/stat : 10601 (java) R 10597 10597 10560 0 -1 64 14897 0 1 0 571 10 0 0 25 0 10 0 1993575344 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 104454915 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=857364 CPUtime=6.51
/proc/10600/task/10602/stat : 10602 (java) S 10597 10597 10560 0 -1 64 127110 0 0 0 593 58 0 0 17 0 10 0 1993575346 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1993575346 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1993575346 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=857364 CPUtime=0.22
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 780 0 0 0 22 0 0 0 16 0 10 0 1993575348 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1993575348 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=857364 CPUtime=0
/proc/10600/task/10609/stat : 10609 (java) S 10597 10597 10560 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 1993575384 877940736 133422 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 862720
[startup+25.5026 s]
/proc/loadavg: 2.21 2.05 2.01 3/83 10609
/proc/meminfo: memFree=878816/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=866964 CPUtime=25.26
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 204371 0 1 0 2429 97 0 0 22 0 10 0 1993575343 887771136 194251 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 216741 194251 2580 9 0 211301 0
[pid=10600/tid=10601] ppid=10597 vsize=866964 CPUtime=6.55
/proc/10600/task/10601/stat : 10601 (java) S 10597 10597 10560 0 -1 64 17172 0 1 0 643 12 0 0 17 0 10 0 1993575344 887771136 194251 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=866964 CPUtime=18.46
/proc/10600/task/10602/stat : 10602 (java) R 10597 10597 10560 0 -1 64 185682 0 0 0 1763 83 0 0 25 0 10 0 1993575346 887771136 194251 996147200 134512640 134550740 4294956016 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=866964 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1993575346 887771136 194251 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=866964 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1993575346 887771136 194251 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=866964 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887771136 194251 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=866964 CPUtime=0.22
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 780 0 0 0 22 0 0 0 16 0 10 0 1993575348 887771136 194251 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=10600/tid=10605] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887672832 194283 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=866868 CPUtime=0.27
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 808 0 0 0 27 0 0 0 15 0 10 0 1993575348 887672832 194283 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887672832 194283 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1993575348 887672832 194283 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10609/stat : 10609 (java) S 10597 10597 10560 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 1993575384 887672832 194283 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 133.11
Current children cumulated vsize (KiB) 872224
[startup+137.507 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 10609
/proc/meminfo: memFree=878496/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=866868 CPUtime=136.29
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 224200 0 1 0 13519 110 0 0 22 0 10 0 1993575343 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 216717 194284 2581 9 0 211277 0
[pid=10600/tid=10601] ppid=10597 vsize=866868 CPUtime=25.42
/proc/10600/task/10601/stat : 10601 (java) S 10597 10597 10560 0 -1 64 30465 0 1 0 2522 20 0 0 17 0 10 0 1993575344 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=866868 CPUtime=110.56
/proc/10600/task/10602/stat : 10602 (java) R 10597 10597 10560 0 -1 64 192190 0 0 0 10968 88 0 0 25 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=866868 CPUtime=0.27
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 808 0 0 0 27 0 0 0 15 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10609/stat : 10609 (java) S 10597 10597 10560 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 1993575384 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 136.29
Current children cumulated vsize (KiB) 872224
[startup+139.103 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 10609
/proc/meminfo: memFree=878496/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=866868 CPUtime=137.88
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 224200 0 1 0 13678 110 0 0 22 0 10 0 1993575343 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 216717 194284 2581 9 0 211277 0
[pid=10600/tid=10601] ppid=10597 vsize=866868 CPUtime=25.42
/proc/10600/task/10601/stat : 10601 (java) S 10597 10597 10560 0 -1 64 30465 0 1 0 2522 20 0 0 17 0 10 0 1993575344 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=866868 CPUtime=112.15
/proc/10600/task/10602/stat : 10602 (java) R 10597 10597 10560 0 -1 64 192190 0 0 0 11127 88 0 0 25 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=866868 CPUtime=0.27
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 808 0 0 0 27 0 0 0 15 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10609/stat : 10609 (java) S 10597 10597 10560 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 1993575384 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 137.88
Current children cumulated vsize (KiB) 872224
[startup+139.902 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 10609
/proc/meminfo: memFree=878496/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=866868 CPUtime=138.67
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 224200 0 1 0 13757 110 0 0 22 0 10 0 1993575343 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 216717 194284 2581 9 0 211277 0
[pid=10600/tid=10601] ppid=10597 vsize=866868 CPUtime=25.42
/proc/10600/task/10601/stat : 10601 (java) S 10597 10597 10560 0 -1 64 30465 0 1 0 2522 20 0 0 17 0 10 0 1993575344 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=866868 CPUtime=112.94
/proc/10600/task/10602/stat : 10602 (java) R 10597 10597 10560 0 -1 64 192190 0 0 0 11206 88 0 0 25 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1993575346 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=866868 CPUtime=0.27
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 808 0 0 0 27 0 0 0 15 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1993575348 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=866868 CPUtime=0
/proc/10600/task/10609/stat : 10609 (java) S 10597 10597 10560 0 -1 64 4 0 0 0 0 0 0 0 23 0 10 0 1993575384 887672832 194284 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 138.67
Current children cumulated vsize (KiB) 872224
[startup+140.303 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 10609
/proc/meminfo: memFree=878496/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=867028 CPUtime=139.07
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 224238 0 1 0 13796 111 0 0 22 0 9 0 1993575343 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 216757 179982 2582 9 0 211317 0
[pid=10600/tid=10601] ppid=10597 vsize=867028 CPUtime=25.45
/proc/10600/task/10601/stat : 10601 (java) S 10597 10597 10560 0 -1 64 30502 0 1 0 2525 20 0 0 16 0 9 0 1993575344 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=867028 CPUtime=113.31
/proc/10600/task/10602/stat : 10602 (java) R 10597 10597 10560 0 -1 64 192190 0 0 0 11242 89 0 0 25 0 9 0 1993575346 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 1993575346 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1993575346 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993575348 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=867028 CPUtime=0.28
/proc/10600/task/10606/stat : 10606 (java) S 10597 10597 10560 0 -1 64 808 0 0 0 28 0 0 0 16 0 9 0 1993575348 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993575348 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1993575348 887836672 179982 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 139.07
Current children cumulated vsize (KiB) 872384
[startup+140.702 s]
/proc/loadavg: 2.23 2.09 2.02 4/82 10610
/proc/meminfo: memFree=951264/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=867028 CPUtime=139.47
/proc/10600/stat : 10600 (java) S 10597 10597 10560 0 -1 0 224300 0 1 0 13835 112 0 0 22 0 9 0 1993575343 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 216757 176100 2584 9 0 211317 0
[pid=10600/tid=10601] ppid=10597 vsize=867028 CPUtime=25.77
/proc/10600/task/10601/stat : 10601 (java) R 10597 10597 10560 0 -1 64 30512 0 1 0 2557 20 0 0 20 0 9 0 1993575344 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10602] ppid=10597 vsize=867028 CPUtime=113.31
/proc/10600/task/10602/stat : 10602 (java) S 10597 10597 10560 0 -1 64 192190 0 0 0 11242 89 0 0 25 0 9 0 1993575346 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10603] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10603/stat : 10603 (java) S 10597 10597 10560 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 1993575346 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10604] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10604/stat : 10604 (java) S 10597 10597 10560 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1993575346 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10605] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10605/stat : 10605 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993575348 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10606] ppid=10597 vsize=867028 CPUtime=0.35
/proc/10600/task/10606/stat : 10606 (java) R 10597 10597 10560 0 -1 64 860 0 0 0 35 0 0 0 16 0 9 0 1993575348 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 102302816 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10607] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10607/stat : 10607 (java) S 10597 10597 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993575348 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=867028 CPUtime=0
/proc/10600/task/10608/stat : 10608 (java) S 10597 10597 10560 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1993575348 887836672 176100 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 139.47
Current children cumulated vsize (KiB) 872384
[startup+140.807 s]
/proc/loadavg: 2.23 2.09 2.02 4/82 10610
/proc/meminfo: memFree=951264/2055920 swapFree=4179912/4192956
[pid=10597] ppid=10595 vsize=5356 CPUtime=0
/proc/10597/stat : 10597 (concrete.sh) S 10595 10597 10560 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 1993575342 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10597/statm: 1339 242 201 169 0 50 0
[pid=10600] ppid=10597 vsize=0 CPUtime=139.55
/proc/10600/stat : 10600 (java) Z 10597 10597 10560 0 -1 12 224309 0 1 0 13835 120 0 0 16 0 2 0 1993575343 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10600/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 139.55
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 140.826
CPU time (s): 139.59
CPU user time (s): 138.363
CPU system time (s): 1.22681
CPU usage (%): 99.1223
Max. virtual memory (cumulated for all children) (KiB): 874876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.363
system time used= 1.22681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224761
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= 5010
involuntary context switches= 8081
runsolver used 0.186971 second user time and 0.470928 second system time
The end
Begin job on node53 at 2008-07-04 06:33:50
IDJOB=1065149
IDBENCH=55041
IDSOLVER=303
FILE ID=node53/1065149-1215146030
PBS_JOBID= 7877420
Free space on /tmp= 65192 MiB
SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30
BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-bm23.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s Tabu BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065149-1215146030/watcher-1065149-1215146030 -o /tmp/evaluation-result-1065149-1215146030/solver-1065149-1215146030 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s Tabu HOME/instance-1065149-1215146030.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 36b4039dec856f336186f2becf06c420
RANDOM SEED=1834410745
node53.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.222
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.222
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1648400 kB
Buffers: 47728 kB
Cached: 154216 kB
SwapCached: 7428 kB
Active: 262652 kB
Inactive: 88132 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1648400 kB
SwapTotal: 4192956 kB
SwapFree: 4179912 kB
Dirty: 876 kB
Writeback: 0 kB
Mapped: 155884 kB
Slab: 41940 kB
Committed_AS: 3948416 kB
PageTables: 1968 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= 65192 MiB
End job on node53 at 2008-07-04 06:36:11