runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733081-1338746421/watcher-3733081-1338746421 -o /tmp/evaluation-result-3733081-1338746421/solver-3733081-1338746421 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733081-1338746421.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 27573
/proc/meminfo: memFree=24878044/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27573/stat : 27573 (java6) D 27571 27573 26477 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 340767546 9515008 182 33554432000 1073741824 1073778376 140736405618896 140736405609928 270707539637 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/27573/statm: 2323 182 140 9 0 71 0
[startup+0.062946 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 27573
/proc/meminfo: memFree=24878044/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2648536 CPUtime=0.03 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 3835 0 1 0 3 0 0 0 20 0 18 0 340767546 2712100864 5043 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 662134 5043 1746 9 0 652835 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2648536
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 27573
/proc/meminfo: memFree=24878044/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 4739 0 1 0 8 0 0 0 20 0 18 0 340767546 2712133632 5946 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 662142 5946 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 27573
/proc/meminfo: memFree=24878044/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2648568 CPUtime=0.49 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 6211 0 1 0 48 1 0 0 20 0 18 0 340767546 2712133632 8802 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 662142 8805 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2648568
[startup+0.700282 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 27573
/proc/meminfo: memFree=24878044/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2715132 CPUtime=1.29 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 10876 0 1 0 127 2 0 0 20 0 19 0 340767546 2780295168 25472 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 678783 25472 2250 9 0 669476 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2715132
[startup+1.50069 s]
/proc/loadavg: 2.16 2.03 2.01 3/214 27592
/proc/meminfo: memFree=24777504/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2715132 CPUtime=2.29 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 12786 0 1 0 226 3 0 0 20 0 19 0 340767546 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 678783 29632 2257 9 0 669476 0
[pid=27573/tid=27575] ppid=27571 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/27573/task/27575/stat : 27575 (java) R 27571 27573 26477 0 -1 4202560 2845 0 1 0 144 3 0 0 20 0 19 0 340767547 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165386138232 140165326489081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27576] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27576/stat : 27576 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165320255912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27577] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27577/stat : 27577 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165251066408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27578] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27578/stat : 27578 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165250013352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27579] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27579/stat : 27579 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165248960808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27580] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27580/stat : 27580 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165247908776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27581] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27581/stat : 27581 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165246856232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27582] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27582/stat : 27582 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165245803176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27583] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27583/stat : 27583 (java) S 27571 27573 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165244750632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27584] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27584/stat : 27584 (java) S 27571 27573 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340767549 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165232552296 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27585] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27585/stat : 27585 (java) S 27571 27573 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165231498616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27586] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27586/stat : 27586 (java) S 27571 27573 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165230445448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27587] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27587/stat : 27587 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165229394192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27588] ppid=27571 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/27573/task/27588/stat : 27588 (java) S 27571 27573 26477 0 -1 4202560 5210 0 0 0 42 0 0 0 20 0 19 0 340767552 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165228342072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27589] ppid=27571 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/27573/task/27589/stat : 27589 (java) S 27571 27573 26477 0 -1 4202560 3530 0 0 0 37 0 0 0 20 0 19 0 340767552 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165227289528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27590] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27590/stat : 27590 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165226236664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27591] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27591/stat : 27591 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165225184328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27592] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27592/stat : 27592 (java) S 27571 27573 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340767596 2780295168 29632 33554432000 1073741824 1073778376 140735193148704 140165224096808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 2715132
[startup+3.10072 s]
/proc/loadavg: 2.16 2.03 2.01 3/214 27592
/proc/meminfo: memFree=24754472/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2715132 CPUtime=3.92 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 12807 0 1 0 389 3 0 0 20 0 19 0 340767546 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 678783 36805 2257 9 0 669476 0
[pid=27573/tid=27575] ppid=27571 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/27573/task/27575/stat : 27575 (java) R 27571 27573 26477 0 -1 4202560 2861 0 1 0 303 3 0 0 20 0 19 0 340767547 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165386136072 140165326509347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27576] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27576/stat : 27576 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165320255912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27577] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27577/stat : 27577 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165251066408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27578] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27578/stat : 27578 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165250013352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27579] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27579/stat : 27579 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165248960808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27580] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27580/stat : 27580 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165247908776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27581] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27581/stat : 27581 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165246856232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27582] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27582/stat : 27582 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165245803176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27583] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27583/stat : 27583 (java) S 27571 27573 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165244750632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27584] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27584/stat : 27584 (java) S 27571 27573 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340767549 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165232552296 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27585] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27585/stat : 27585 (java) S 27571 27573 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165231498616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27586] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27586/stat : 27586 (java) S 27571 27573 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165230445448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27587] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27587/stat : 27587 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165229394192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27588] ppid=27571 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/27573/task/27588/stat : 27588 (java) S 27571 27573 26477 0 -1 4202560 5213 0 0 0 44 0 0 0 20 0 19 0 340767552 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165228342072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27589] ppid=27571 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/27573/task/27589/stat : 27589 (java) S 27571 27573 26477 0 -1 4202560 3532 0 0 0 39 0 0 0 20 0 19 0 340767552 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165227289528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27590] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27590/stat : 27590 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165226236664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27591] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27591/stat : 27591 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165225184328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27592] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27592/stat : 27592 (java) S 27571 27573 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340767596 2780295168 36805 33554432000 1073741824 1073778376 140735193148704 140165224096808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 2715132
[startup+6.30073 s]
/proc/loadavg: 2.16 2.03 2.01 3/214 27592
/proc/meminfo: memFree=24707604/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2715132 CPUtime=7.12 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 12828 0 1 0 708 4 0 0 20 0 19 0 340767546 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 678783 46461 2258 9 0 669476 0
[pid=27573/tid=27575] ppid=27571 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/27573/task/27575/stat : 27575 (java) R 27571 27573 26477 0 -1 4202560 2881 0 1 0 623 3 0 0 20 0 19 0 340767547 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165386136048 140165326489149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27576] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27576/stat : 27576 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165320255912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27577] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27577/stat : 27577 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165251066408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27578] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27578/stat : 27578 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165250013352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27579] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27579/stat : 27579 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165248960808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27580] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27580/stat : 27580 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165247908776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27581] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27581/stat : 27581 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165246856232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27582] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27582/stat : 27582 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165245803176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27583] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27583/stat : 27583 (java) S 27571 27573 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340767548 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165244750632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27584] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27584/stat : 27584 (java) S 27571 27573 26477 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340767549 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165232552296 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27585] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27585/stat : 27585 (java) S 27571 27573 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165231498616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27586] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27586/stat : 27586 (java) S 27571 27573 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165230445448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27587] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27587/stat : 27587 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165229394192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27588] ppid=27571 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/27573/task/27588/stat : 27588 (java) S 27571 27573 26477 0 -1 4202560 5213 0 0 0 44 0 0 0 20 0 19 0 340767552 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165228342072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27589] ppid=27571 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/27573/task/27589/stat : 27589 (java) S 27571 27573 26477 0 -1 4202560 3532 0 0 0 39 0 0 0 20 0 19 0 340767552 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165227289528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27590] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27590/stat : 27590 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165226236664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27591] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27591/stat : 27591 (java) S 27571 27573 26477 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165225184328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27592] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27592/stat : 27592 (java) S 27571 27573 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340767596 2780295168 46461 33554432000 1073741824 1073778376 140735193148704 140165224096808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=27573/tid=27581] ppid=27571 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/27573/task/27581/stat : 27581 (java) S 27571 27573 26477 0 -1 4202560 324 0 0 0 10 22 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165246856232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27582] ppid=27571 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/27573/task/27582/stat : 27582 (java) S 27571 27573 26477 0 -1 4202560 204 0 0 0 6 13 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165245803176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27583] ppid=27571 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/27573/task/27583/stat : 27583 (java) S 27571 27573 26477 0 -1 4202560 300 0 0 0 10 20 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165244750632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27584] ppid=27571 vsize=2715132 CPUtime=4.21 cores=1,3,5,7
/proc/27573/task/27584/stat : 27584 (java) S 27571 27573 26477 0 -1 4202560 127 0 0 0 416 5 0 0 20 0 19 0 340767549 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165232552296 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27585] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27585/stat : 27585 (java) S 27571 27573 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165231498616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27586] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27586/stat : 27586 (java) S 27571 27573 26477 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165230445448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27587] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27587/stat : 27587 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165229394192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27588] ppid=27571 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/27573/task/27588/stat : 27588 (java) S 27571 27573 26477 0 -1 4202560 5233 0 0 0 49 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165228342072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27589] ppid=27571 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/27573/task/27589/stat : 27589 (java) S 27571 27573 26477 0 -1 4202560 4128 0 0 0 48 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165227289528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27590] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27590/stat : 27590 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165226236664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27591] ppid=27571 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/27573/task/27591/stat : 27591 (java) S 27571 27573 26477 0 -1 4202560 100 0 0 0 30 41 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165225184328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27592] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27592/stat : 27592 (java) S 27571 27573 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340767596 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165224096808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1724.87
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/214 27690
/proc/meminfo: memFree=23516848/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2715132 CPUtime=1784.88 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 15450 0 1 0 178332 156 0 0 20 0 19 0 340767546 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 678783 343298 2284 9 0 669476 0
[pid=27573/tid=27575] ppid=27571 vsize=2715132 CPUtime=1777.62 cores=1,3,5,7
/proc/27573/task/27575/stat : 27575 (java) R 27571 27573 26477 0 -1 4202560 2985 0 1 0 177727 35 0 0 20 0 19 0 340767547 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165386136944 140165326496363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27576] ppid=27571 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/27573/task/27576/stat : 27576 (java) S 27571 27573 26477 0 -1 4202560 117 0 0 0 3 8 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165320255912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27577] ppid=27571 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/27573/task/27577/stat : 27577 (java) S 27571 27573 26477 0 -1 4202560 185 0 0 0 5 13 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165251066408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27578] ppid=27571 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/27573/task/27578/stat : 27578 (java) S 27571 27573 26477 0 -1 4202560 183 0 0 0 7 11 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165250013352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27579] ppid=27571 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/27573/task/27579/stat : 27579 (java) S 27571 27573 26477 0 -1 4202560 232 0 0 0 8 15 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165248960808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27580] ppid=27571 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/27573/task/27580/stat : 27580 (java) S 27571 27573 26477 0 -1 4202560 140 0 0 0 4 8 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165247908776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27581] ppid=27571 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/27573/task/27581/stat : 27581 (java) S 27571 27573 26477 0 -1 4202560 324 0 0 0 10 22 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165246856232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27582] ppid=27571 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/27573/task/27582/stat : 27582 (java) S 27571 27573 26477 0 -1 4202560 204 0 0 0 6 13 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165245803176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27583] ppid=27571 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/27573/task/27583/stat : 27583 (java) S 27571 27573 26477 0 -1 4202560 300 0 0 0 10 20 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165244750632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27584] ppid=27571 vsize=2715132 CPUtime=4.21 cores=1,3,5,7
/proc/27573/task/27584/stat : 27584 (java) S 27571 27573 26477 0 -1 4202560 127 0 0 0 416 5 0 0 20 0 19 0 340767549 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165232552296 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27585] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27585/stat : 27585 (java) S 27571 27573 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165231498616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27586] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27586/stat : 27586 (java) S 27571 27573 26477 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165230445448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27587] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27587/stat : 27587 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165229394192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27588] ppid=27571 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/27573/task/27588/stat : 27588 (java) S 27571 27573 26477 0 -1 4202560 5233 0 0 0 49 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165228342072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27589] ppid=27571 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/27573/task/27589/stat : 27589 (java) S 27571 27573 26477 0 -1 4202560 4128 0 0 0 48 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165227289528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27590] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27590/stat : 27590 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165226236664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27591] ppid=27571 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/27573/task/27591/stat : 27591 (java) S 27571 27573 26477 0 -1 4202560 104 0 0 0 32 42 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165225184328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27592] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27592/stat : 27592 (java) S 27571 27573 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340767596 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165224096808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1784.88
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/214 27690
/proc/meminfo: memFree=23517360/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2715132 CPUtime=1800.09 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 15450 0 1 0 179853 156 0 0 20 0 19 0 340767546 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 678783 343298 2284 9 0 669476 0
[pid=27573/tid=27575] ppid=27571 vsize=2715132 CPUtime=1792.82 cores=1,3,5,7
/proc/27573/task/27575/stat : 27575 (java) R 27571 27573 26477 0 -1 4202560 2985 0 1 0 179247 35 0 0 20 0 19 0 340767547 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165386136944 140165326495798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27576] ppid=27571 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/27573/task/27576/stat : 27576 (java) S 27571 27573 26477 0 -1 4202560 117 0 0 0 3 8 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165320255912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27577] ppid=27571 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/27573/task/27577/stat : 27577 (java) S 27571 27573 26477 0 -1 4202560 185 0 0 0 5 13 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165251066408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27578] ppid=27571 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/27573/task/27578/stat : 27578 (java) S 27571 27573 26477 0 -1 4202560 183 0 0 0 7 11 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165250013352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27579] ppid=27571 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/27573/task/27579/stat : 27579 (java) S 27571 27573 26477 0 -1 4202560 232 0 0 0 8 15 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165248960808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27580] ppid=27571 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/27573/task/27580/stat : 27580 (java) S 27571 27573 26477 0 -1 4202560 140 0 0 0 4 8 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165247908776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27581] ppid=27571 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/27573/task/27581/stat : 27581 (java) S 27571 27573 26477 0 -1 4202560 324 0 0 0 10 22 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165246856232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27582] ppid=27571 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/27573/task/27582/stat : 27582 (java) S 27571 27573 26477 0 -1 4202560 204 0 0 0 6 13 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165245803176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27583] ppid=27571 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/27573/task/27583/stat : 27583 (java) S 27571 27573 26477 0 -1 4202560 300 0 0 0 10 20 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165244750632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27584] ppid=27571 vsize=2715132 CPUtime=4.21 cores=1,3,5,7
/proc/27573/task/27584/stat : 27584 (java) S 27571 27573 26477 0 -1 4202560 127 0 0 0 416 5 0 0 20 0 19 0 340767549 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165232552296 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27585] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27585/stat : 27585 (java) S 27571 27573 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165231498616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27586] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27586/stat : 27586 (java) S 27571 27573 26477 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165230445448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27587] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27587/stat : 27587 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165229394192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27588] ppid=27571 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/27573/task/27588/stat : 27588 (java) S 27571 27573 26477 0 -1 4202560 5233 0 0 0 49 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165228342072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27589] ppid=27571 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/27573/task/27589/stat : 27589 (java) S 27571 27573 26477 0 -1 4202560 4128 0 0 0 48 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165227289528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27590] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27590/stat : 27590 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165226236664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27591] ppid=27571 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/27573/task/27591/stat : 27591 (java) S 27571 27573 26477 0 -1 4202560 104 0 0 0 32 43 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165225184328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27592] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27592/stat : 27592 (java) S 27571 27573 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340767596 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165224096808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/214 27690
/proc/meminfo: memFree=23517360/32873648 swapFree=6864/6864
[pid=27573] ppid=27571 vsize=2715132 CPUtime=1800.09 cores=1,3,5,7
/proc/27573/stat : 27573 (java) S 27571 27573 26477 0 -1 4202496 15450 0 1 0 179853 156 0 0 20 0 19 0 340767546 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140735193139840 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27573/statm: 678783 343298 2284 9 0 669476 0
[pid=27573/tid=27575] ppid=27571 vsize=2715132 CPUtime=1792.82 cores=1,3,5,7
/proc/27573/task/27575/stat : 27575 (java) R 27571 27573 26477 0 -1 4202560 2985 0 1 0 179247 35 0 0 20 0 19 0 340767547 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165386136944 140165326495798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27576] ppid=27571 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/27573/task/27576/stat : 27576 (java) S 27571 27573 26477 0 -1 4202560 117 0 0 0 3 8 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165320255912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27577] ppid=27571 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/27573/task/27577/stat : 27577 (java) S 27571 27573 26477 0 -1 4202560 185 0 0 0 5 13 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165251066408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27578] ppid=27571 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/27573/task/27578/stat : 27578 (java) S 27571 27573 26477 0 -1 4202560 183 0 0 0 7 11 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165250013352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27579] ppid=27571 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/27573/task/27579/stat : 27579 (java) S 27571 27573 26477 0 -1 4202560 232 0 0 0 8 15 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165248960808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27580] ppid=27571 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/27573/task/27580/stat : 27580 (java) S 27571 27573 26477 0 -1 4202560 140 0 0 0 4 8 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165247908776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27581] ppid=27571 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/27573/task/27581/stat : 27581 (java) S 27571 27573 26477 0 -1 4202560 324 0 0 0 10 22 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165246856232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27573/tid=27582] ppid=27571 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/27573/task/27582/stat : 27582 (java) S 27571 27573 26477 0 -1 4202560 204 0 0 0 6 13 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165245803176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27583] ppid=27571 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/27573/task/27583/stat : 27583 (java) S 27571 27573 26477 0 -1 4202560 300 0 0 0 10 20 0 0 20 0 19 0 340767548 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165244750632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27573/tid=27584] ppid=27571 vsize=2715132 CPUtime=4.21 cores=1,3,5,7
/proc/27573/task/27584/stat : 27584 (java) S 27571 27573 26477 0 -1 4202560 127 0 0 0 416 5 0 0 20 0 19 0 340767549 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165232552296 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27585] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27585/stat : 27585 (java) S 27571 27573 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165231498616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27586] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27586/stat : 27586 (java) S 27571 27573 26477 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340767550 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165230445448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27587] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27587/stat : 27587 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165229394192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27588] ppid=27571 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/27573/task/27588/stat : 27588 (java) S 27571 27573 26477 0 -1 4202560 5233 0 0 0 49 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165228342072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27589] ppid=27571 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/27573/task/27589/stat : 27589 (java) S 27571 27573 26477 0 -1 4202560 4128 0 0 0 48 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165227289528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27590] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27590/stat : 27590 (java) S 27571 27573 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165226236664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27573/tid=27591] ppid=27571 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/27573/task/27591/stat : 27591 (java) S 27571 27573 26477 0 -1 4202560 104 0 0 0 32 43 0 0 20 0 19 0 340767552 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165225184328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27573/tid=27592] ppid=27571 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/27573/task/27592/stat : 27592 (java) S 27571 27573 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340767596 2780295168 343298 33554432000 1073741824 1073778376 140735193148704 140165224096808 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1797.56
CPU time (s): 1800.75
CPU user time (s): 1798.67
CPU system time (s): 2.08268
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 2.08268
maximum resident set size= 1373380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15502
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38132
involuntary context switches= 8267
runsolver used 6.50901 second user time and 14.8237 second system time
The end