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-3740900-1338760747/watcher-3740900-1338760747 -o /tmp/evaluation-result-3740900-1338760747/solver-3740900-1338760747 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3740900-1338760747.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.88 3.20 3.52 3/195 25715
/proc/meminfo: memFree=27273920/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25715/stat : 25715 (java6) D 25713 25715 19811 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342199577 9515008 182 33554432000 1073741824 1073778376 140736264014768 140736264005800 215124623029 0 0 4096 0 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/25715/statm: 2323 182 140 9 0 71 0
[startup+0.0938541 s]
/proc/loadavg: 2.88 3.20 3.52 3/195 25715
/proc/meminfo: memFree=27273920/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 3949 0 1 0 6 1 0 0 20 0 18 0 342199577 2764726272 5668 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 674982 5668 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.100279 s]
/proc/loadavg: 2.88 3.20 3.52 3/195 25715
/proc/meminfo: memFree=27273920/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 4174 0 1 0 6 1 0 0 20 0 18 0 342199577 2764726272 5893 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 674982 5894 1931 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.300307 s]
/proc/loadavg: 2.88 3.20 3.52 3/195 25715
/proc/meminfo: memFree=27273920/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2699928 CPUtime=0.46 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 5906 0 1 0 44 2 0 0 20 0 18 0 342199577 2764726272 10847 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 674982 10847 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928
[startup+0.700288 s]
/proc/loadavg: 2.88 3.20 3.52 3/195 25715
/proc/meminfo: memFree=27273920/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2699928 CPUtime=1.26 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 11985 0 1 0 119 7 0 0 20 0 18 0 342199577 2764726272 58592 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 674982 58592 2232 9 0 665676 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 2699928
[startup+1.5007 s]
/proc/loadavg: 2.88 3.20 3.52 3/213 25733
/proc/meminfo: memFree=26870156/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2699928 CPUtime=2.41 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 12292 0 1 0 220 21 0 0 20 0 18 0 342199577 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 674982 111884 2248 9 0 665676 0
[pid=25715/tid=25717] ppid=25713 vsize=2699928 CPUtime=1.36 cores=1,3,5,7
/proc/25715/task/25717/stat : 25717 (java) S 25713 25715 19811 0 -1 4202560 3011 0 1 0 126 10 0 0 20 0 18 0 342199578 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690589199880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25718] ppid=25713 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/25715/task/25718/stat : 25718 (java) R 25713 25715 19811 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 18 0 342199580 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690455853736 215124577415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25719] ppid=25713 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/25715/task/25719/stat : 25719 (java) R 25713 25715 19811 0 -1 4202560 16 0 0 0 2 2 0 0 20 0 18 0 342199580 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690454801368 215124577415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25720] ppid=25713 vsize=2699928 CPUtime=0.02 cores=1,3,5,7
/proc/25715/task/25720/stat : 25720 (java) R 25713 25715 19811 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 342199580 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690453748824 139690591671985 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25721] ppid=25713 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/25715/task/25721/stat : 25721 (java) R 25713 25715 19811 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 18 0 342199580 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690452696232 215124577415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25722] ppid=25713 vsize=2699928 CPUtime=0.03 cores=1,3,5,7
/proc/25715/task/25722/stat : 25722 (java) R 25713 25715 19811 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 18 0 342199580 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690451642664 215124577415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25723] ppid=25713 vsize=2699928 CPUtime=0.02 cores=1,3,5,7
/proc/25715/task/25723/stat : 25723 (java) R 25713 25715 19811 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 18 0 342199580 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690450590168 215124577415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25724] ppid=25713 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/25715/task/25724/stat : 25724 (java) R 25713 25715 19811 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 342199580 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690449537624 139690592957580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25725] ppid=25713 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/25715/task/25725/stat : 25725 (java) R 25713 25715 19811 0 -1 4202560 27 0 0 0 4 2 0 0 20 0 18 0 342199580 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690448485032 139690597246112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25726] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25726/stat : 25726 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342199581 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690436072968 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25727] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25727/stat : 25727 (java) S 25713 25715 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 342199582 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690435020408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25728] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25728/stat : 25728 (java) S 25713 25715 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 342199582 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690433967752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25729] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25729/stat : 25729 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690432916496 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25730] ppid=25713 vsize=2699928 CPUtime=0.29 cores=1,3,5,7
/proc/25715/task/25730/stat : 25730 (java) S 25713 25715 19811 0 -1 4202560 4027 0 0 0 29 0 0 0 20 0 18 0 342199584 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690431862840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25731] ppid=25713 vsize=2699928 CPUtime=0.31 cores=1,3,5,7
/proc/25715/task/25731/stat : 25731 (java) S 25713 25715 19811 0 -1 4202560 3928 0 0 0 30 1 0 0 20 0 18 0 342199584 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690430810296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25732] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25732/stat : 25732 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690429757944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25733] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25733/stat : 25733 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 111884 33554432000 1073741824 1073778376 140735775390544 139690428705608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 2699928
[startup+3.10069 s]
/proc/loadavg: 2.88 3.20 3.52 3/213 25733
/proc/meminfo: memFree=26794132/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2699928 CPUtime=4.65 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 12503 0 1 0 432 33 0 0 20 0 18 0 342199577 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 674982 129831 2248 9 0 665676 0
[pid=25715/tid=25717] ppid=25713 vsize=2699928 CPUtime=2.76 cores=1,3,5,7
/proc/25715/task/25717/stat : 25717 (java) S 25713 25715 19811 0 -1 4202560 3014 0 1 0 266 10 0 0 20 0 18 0 342199578 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690589199880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25718] ppid=25713 vsize=2699928 CPUtime=0.12 cores=1,3,5,7
/proc/25715/task/25718/stat : 25718 (java) R 25713 25715 19811 0 -1 4202560 39 0 0 0 10 2 0 0 20 0 18 0 342199580 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690455853912 139690596096940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25719] ppid=25713 vsize=2699928 CPUtime=0.16 cores=1,3,5,7
/proc/25715/task/25719/stat : 25719 (java) R 25713 25715 19811 0 -1 4202560 41 0 0 0 13 3 0 0 20 0 18 0 342199580 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690454801368 139690593376431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25720] ppid=25713 vsize=2699928 CPUtime=0.14 cores=1,3,5,7
/proc/25715/task/25720/stat : 25720 (java) R 25713 25715 19811 0 -1 4202560 36 0 0 0 11 3 0 0 20 0 18 0 342199580 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690453748824 139690596096940 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25721] ppid=25713 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/25715/task/25721/stat : 25721 (java) R 25713 25715 19811 0 -1 4202560 36 0 0 0 7 3 0 0 20 0 18 0 342199580 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690452696104 215127997496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25722] ppid=25713 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/25715/task/25722/stat : 25722 (java) R 25713 25715 19811 0 -1 4202560 30 0 0 0 9 2 0 0 20 0 18 0 342199580 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690451642536 139690596096940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25723] ppid=25713 vsize=2699928 CPUtime=0.17 cores=1,3,5,7
/proc/25715/task/25723/stat : 25723 (java) R 25713 25715 19811 0 -1 4202560 44 0 0 0 13 4 0 0 20 0 18 0 342199580 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690450590168 139690593376431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25724] ppid=25713 vsize=2699928 CPUtime=0.12 cores=1,3,5,7
/proc/25715/task/25724/stat : 25724 (java) R 25713 25715 19811 0 -1 4202560 34 0 0 0 10 2 0 0 20 0 18 0 342199580 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690449537624 139690592479074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25725] ppid=25713 vsize=2699928 CPUtime=0.17 cores=1,3,5,7
/proc/25715/task/25725/stat : 25725 (java) R 25713 25715 19811 0 -1 4202560 49 0 0 0 13 4 0 0 20 0 18 0 342199580 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690448484904 215127995452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25726] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25726/stat : 25726 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342199581 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690436072968 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25727] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25727/stat : 25727 (java) S 25713 25715 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 342199582 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690435020408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25728] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25728/stat : 25728 (java) S 25713 25715 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 342199582 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690433967752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25729] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25729/stat : 25729 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690432916496 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25730] ppid=25713 vsize=2699928 CPUtime=0.3 cores=1,3,5,7
/proc/25715/task/25730/stat : 25730 (java) S 25713 25715 19811 0 -1 4202560 4027 0 0 0 30 0 0 0 20 0 18 0 342199584 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690431862840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25731] ppid=25713 vsize=2699928 CPUtime=0.36 cores=1,3,5,7
/proc/25715/task/25731/stat : 25731 (java) S 25713 25715 19811 0 -1 4202560 3971 0 0 0 34 2 0 0 20 0 18 0 342199584 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690430810296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25732] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25732/stat : 25732 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690429757944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25733] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25733/stat : 25733 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 129831 33554432000 1073741824 1073778376 140735775390544 139690428705608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 2699928
[startup+6.30077 s]
/proc/loadavg: 2.81 3.18 3.51 3/213 25733
/proc/meminfo: memFree=26633956/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2699928 CPUtime=9.81 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 13921 0 1 0 929 52 0 0 20 0 18 0 342199577 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 674982 170662 2248 9 0 665676 0
[pid=25715/tid=25717] ppid=25713 vsize=2699928 CPUtime=5.25 cores=1,3,5,7
/proc/25715/task/25717/stat : 25717 (java) R 25713 25715 19811 0 -1 4202560 3022 0 1 0 515 10 0 0 20 0 18 0 342199578 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690589192272 215128007949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25718] ppid=25713 vsize=2699928 CPUtime=0.45 cores=1,3,5,7
/proc/25715/task/25718/stat : 25718 (java) S 25713 25715 19811 0 -1 4202560 125 0 0 0 40 5 0 0 20 0 18 0 342199580 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690455853736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25719] ppid=25713 vsize=2699928 CPUtime=0.51 cores=1,3,5,7
/proc/25715/task/25719/stat : 25719 (java) S 25713 25715 19811 0 -1 4202560 326 0 0 0 45 6 0 0 20 0 18 0 342199580 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690454801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25720] ppid=25713 vsize=2699928 CPUtime=0.4 cores=1,3,5,7
/proc/25715/task/25720/stat : 25720 (java) S 25713 25715 19811 0 -1 4202560 313 0 0 0 36 4 0 0 20 0 18 0 342199580 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690453748648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25721] ppid=25713 vsize=2699928 CPUtime=0.47 cores=1,3,5,7
/proc/25715/task/25721/stat : 25721 (java) S 25713 25715 19811 0 -1 4202560 133 0 0 0 42 5 0 0 20 0 18 0 342199580 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690452696104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25722] ppid=25713 vsize=2699928 CPUtime=0.54 cores=1,3,5,7
/proc/25715/task/25722/stat : 25722 (java) S 25713 25715 19811 0 -1 4202560 230 0 0 0 49 5 0 0 20 0 18 0 342199580 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690451642536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25723] ppid=25713 vsize=2699928 CPUtime=0.44 cores=1,3,5,7
/proc/25715/task/25723/stat : 25723 (java) S 25713 25715 19811 0 -1 4202560 181 0 0 0 39 5 0 0 20 0 18 0 342199580 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690450589992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25724] ppid=25713 vsize=2699928 CPUtime=0.49 cores=1,3,5,7
/proc/25715/task/25724/stat : 25724 (java) S 25713 25715 19811 0 -1 4202560 116 0 0 0 44 5 0 0 20 0 18 0 342199580 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690449537448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25725] ppid=25713 vsize=2699928 CPUtime=0.42 cores=1,3,5,7
/proc/25715/task/25725/stat : 25725 (java) S 25713 25715 19811 0 -1 4202560 295 0 0 0 36 6 0 0 20 0 18 0 342199580 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690448484904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25726] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25726/stat : 25726 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342199581 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690436074088 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25727] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25727/stat : 25727 (java) S 25713 25715 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 342199582 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690435020408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25728] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25728/stat : 25728 (java) S 25713 25715 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 342199582 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690433967752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25729] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25729/stat : 25729 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690432916496 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25730] ppid=25713 vsize=2699928 CPUtime=0.3 cores=1,3,5,7
/proc/25715/task/25730/stat : 25730 (java) S 25713 25715 19811 0 -1 4202560 4027 0 0 0 30 0 0 0 20 0 18 0 342199584 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690431862840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25731] ppid=25713 vsize=2699928 CPUtime=0.36 cores=1,3,5,7
/proc/25715/task/25731/stat : 25731 (java) S 25713 25715 19811 0 -1 4202560 3971 0 0 0 34 2 0 0 20 0 18 0 342199584 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690430810296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25732] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25732/stat : 25732 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690429757944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25733] ppid=25713 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25733/stat : 25733 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342199584 2764726272 170662 33554432000 1073741824 1073778376 140735775390544 139690428705608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (KiB) 2699928
[startup+12.7009 s]
/proc/loadavg: 3.07 3.23 3.53 4/217 25737
/proc/meminfo: memFree=26412948/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2966184 CPUtime=22.37 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 20287 0 1 0 2165 72 0 0 20 0 22 0 342199577 3037372416 216017 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 741546 216017 2268 9 0 732240 0
[pid=25715/tid=25717] ppid=25713 vsize=2966184 CPUtime=7.79 cores=1,3,5,7
################
# More data... #
################
/proc/25715/statm: 741546 283357 2282 9 0 732240 0
[pid=25715/tid=25717] ppid=25713 vsize=2966184 CPUtime=7.82 cores=1,3,5,7
/proc/25715/task/25717/stat : 25717 (java) S 25713 25715 19811 0 -1 4202560 3068 0 1 0 770 12 0 0 20 0 22 0 342199578 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690589201560 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25718] ppid=25713 vsize=2966184 CPUtime=7.8 cores=1,3,5,7
/proc/25715/task/25718/stat : 25718 (java) S 25713 25715 19811 0 -1 4202560 385 0 0 0 767 13 0 0 20 0 22 0 342199580 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690455853736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25719] ppid=25713 vsize=2966184 CPUtime=7.88 cores=1,3,5,7
/proc/25715/task/25719/stat : 25719 (java) S 25713 25715 19811 0 -1 4202560 415 0 0 0 772 16 0 0 20 0 22 0 342199580 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690454801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25720] ppid=25713 vsize=2966184 CPUtime=7.53 cores=1,3,5,7
/proc/25715/task/25720/stat : 25720 (java) S 25713 25715 19811 0 -1 4202560 384 0 0 0 739 14 0 0 20 0 22 0 342199580 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690453748648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25721] ppid=25713 vsize=2966184 CPUtime=7.85 cores=1,3,5,7
/proc/25715/task/25721/stat : 25721 (java) S 25713 25715 19811 0 -1 4202560 407 0 0 0 773 12 0 0 20 0 22 0 342199580 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690452696104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25722] ppid=25713 vsize=2966184 CPUtime=7.86 cores=1,3,5,7
/proc/25715/task/25722/stat : 25722 (java) S 25713 25715 19811 0 -1 4202560 393 0 0 0 775 11 0 0 20 0 22 0 342199580 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690451642536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25723] ppid=25713 vsize=2966184 CPUtime=7.63 cores=1,3,5,7
/proc/25715/task/25723/stat : 25723 (java) S 25713 25715 19811 0 -1 4202560 389 0 0 0 750 13 0 0 20 0 22 0 342199580 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690450589992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25724] ppid=25713 vsize=2966184 CPUtime=7.47 cores=1,3,5,7
/proc/25715/task/25724/stat : 25724 (java) S 25713 25715 19811 0 -1 4202560 382 0 0 0 734 13 0 0 20 0 22 0 342199580 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690449537448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25725] ppid=25713 vsize=2966184 CPUtime=7.46 cores=1,3,5,7
/proc/25715/task/25725/stat : 25725 (java) S 25713 25715 19811 0 -1 4202560 406 0 0 0 731 15 0 0 20 0 22 0 342199580 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690448484904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25726] ppid=25713 vsize=2966184 CPUtime=46.2 cores=1,3,5,7
/proc/25715/task/25726/stat : 25726 (java) S 25713 25715 19811 0 -1 4202560 164255 0 0 0 4554 66 0 0 20 0 22 0 342199581 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690436074088 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25727] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25727/stat : 25727 (java) S 25713 25715 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342199582 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690435020408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25728] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25728/stat : 25728 (java) S 25713 25715 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342199582 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690433967752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25729] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25729/stat : 25729 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342199584 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690432916496 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25730] ppid=25713 vsize=2966184 CPUtime=1.57 cores=1,3,5,7
/proc/25715/task/25730/stat : 25730 (java) S 25713 25715 19811 0 -1 4202560 10657 0 0 0 155 2 0 0 20 0 22 0 342199584 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690431862840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25731] ppid=25713 vsize=2966184 CPUtime=0.9 cores=1,3,5,7
/proc/25715/task/25731/stat : 25731 (java) S 25713 25715 19811 0 -1 4202560 4633 0 0 0 88 2 0 0 20 0 22 0 342199584 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690430810296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25732] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25732/stat : 25732 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342199584 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690429757944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25733] ppid=25713 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/25715/task/25733/stat : 25733 (java) S 25713 25715 19811 0 -1 4202560 48 0 0 0 26 22 0 0 20 0 22 0 342199584 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690428705608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25734] ppid=25713 vsize=2966184 CPUtime=809.11 cores=1,3,5,7
/proc/25715/task/25734/stat : 25734 (java) R 25713 25715 19811 0 -1 4202560 297 0 0 0 80896 15 0 0 20 0 22 0 342200510 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690427649632 139690529701858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25735] ppid=25713 vsize=2966184 CPUtime=809.13 cores=1,3,5,7
/proc/25715/task/25735/stat : 25735 (java) R 25713 25715 19811 0 -1 4202560 364 0 0 0 80898 15 0 0 20 0 22 0 342200510 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690426596384 139690529782433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25736] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25736/stat : 25736 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342200513 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690425546280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25737] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25737/stat : 25737 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342200513 3037372416 283357 33554432000 1073741824 1073778376 140735775390544 139690424493736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1741.02
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+911.301 s]
/proc/loadavg: 4.09 3.64 3.43 5/221 25829
/proc/meminfo: memFree=26562220/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2966184 CPUtime=1800.05 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 187713 0 1 0 179785 220 0 0 20 0 22 0 342199577 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 741546 287965 2282 9 0 732240 0
[pid=25715/tid=25717] ppid=25713 vsize=2966184 CPUtime=7.82 cores=1,3,5,7
/proc/25715/task/25717/stat : 25717 (java) S 25713 25715 19811 0 -1 4202560 3069 0 1 0 770 12 0 0 20 0 22 0 342199578 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690589201560 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25718] ppid=25713 vsize=2966184 CPUtime=8.12 cores=1,3,5,7
/proc/25715/task/25718/stat : 25718 (java) S 25713 25715 19811 0 -1 4202560 387 0 0 0 799 13 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690455853736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25719] ppid=25713 vsize=2966184 CPUtime=8.14 cores=1,3,5,7
/proc/25715/task/25719/stat : 25719 (java) S 25713 25715 19811 0 -1 4202560 417 0 0 0 797 17 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690454801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25720] ppid=25713 vsize=2966184 CPUtime=7.76 cores=1,3,5,7
/proc/25715/task/25720/stat : 25720 (java) S 25713 25715 19811 0 -1 4202560 387 0 0 0 762 14 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690453748648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25721] ppid=25713 vsize=2966184 CPUtime=8.09 cores=1,3,5,7
/proc/25715/task/25721/stat : 25721 (java) S 25713 25715 19811 0 -1 4202560 411 0 0 0 796 13 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690452696104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25722] ppid=25713 vsize=2966184 CPUtime=8.14 cores=1,3,5,7
/proc/25715/task/25722/stat : 25722 (java) S 25713 25715 19811 0 -1 4202560 395 0 0 0 803 11 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690451642536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25723] ppid=25713 vsize=2966184 CPUtime=7.85 cores=1,3,5,7
/proc/25715/task/25723/stat : 25723 (java) S 25713 25715 19811 0 -1 4202560 389 0 0 0 771 14 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690450589992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25724] ppid=25713 vsize=2966184 CPUtime=7.84 cores=1,3,5,7
/proc/25715/task/25724/stat : 25724 (java) S 25713 25715 19811 0 -1 4202560 385 0 0 0 771 13 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690449537448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25725] ppid=25713 vsize=2966184 CPUtime=7.77 cores=1,3,5,7
/proc/25715/task/25725/stat : 25725 (java) S 25713 25715 19811 0 -1 4202560 412 0 0 0 761 16 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690448484904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25726] ppid=25713 vsize=2966184 CPUtime=46.21 cores=1,3,5,7
/proc/25715/task/25726/stat : 25726 (java) S 25713 25715 19811 0 -1 4202560 164257 0 0 0 4555 66 0 0 20 0 22 0 342199581 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690436074088 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25727] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25727/stat : 25727 (java) S 25713 25715 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342199582 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690435020408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25728] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25728/stat : 25728 (java) S 25713 25715 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342199582 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690433967752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25729] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25729/stat : 25729 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690432916496 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25730] ppid=25713 vsize=2966184 CPUtime=1.57 cores=1,3,5,7
/proc/25715/task/25730/stat : 25730 (java) S 25713 25715 19811 0 -1 4202560 10658 0 0 0 155 2 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690431862840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25731] ppid=25713 vsize=2966184 CPUtime=0.9 cores=1,3,5,7
/proc/25715/task/25731/stat : 25731 (java) S 25713 25715 19811 0 -1 4202560 4633 0 0 0 88 2 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690430810296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25732] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25732/stat : 25732 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690429757944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25733] ppid=25713 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/25715/task/25733/stat : 25733 (java) S 25713 25715 19811 0 -1 4202560 50 0 0 0 27 23 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690428705608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25734] ppid=25713 vsize=2966184 CPUtime=837.42 cores=1,3,5,7
/proc/25715/task/25734/stat : 25734 (java) R 25713 25715 19811 0 -1 4202560 305 0 0 0 83727 15 0 0 20 0 22 0 342200510 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690427650648 139690529552199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25735] ppid=25713 vsize=2966184 CPUtime=837.44 cores=1,3,5,7
/proc/25715/task/25735/stat : 25735 (java) R 25713 25715 19811 0 -1 4202560 370 0 0 0 83729 15 0 0 20 0 22 0 342200510 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690426597120 139690529781655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25736] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25736/stat : 25736 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342200513 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690425546280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25737] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25737/stat : 25737 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342200513 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690424493736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+911.301 s]
/proc/loadavg: 4.09 3.64 3.43 5/221 25829
/proc/meminfo: memFree=26562220/32873844 swapFree=7620/7620
[pid=25715] ppid=25713 vsize=2966184 CPUtime=1800.05 cores=1,3,5,7
/proc/25715/stat : 25715 (java) S 25713 25715 19811 0 -1 4202496 187713 0 1 0 179785 220 0 0 20 0 22 0 342199577 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 140735775381680 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25715/statm: 741546 287965 2282 9 0 732240 0
[pid=25715/tid=25717] ppid=25713 vsize=2966184 CPUtime=7.82 cores=1,3,5,7
/proc/25715/task/25717/stat : 25717 (java) S 25713 25715 19811 0 -1 4202560 3069 0 1 0 770 12 0 0 20 0 22 0 342199578 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690589201560 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25718] ppid=25713 vsize=2966184 CPUtime=8.12 cores=1,3,5,7
/proc/25715/task/25718/stat : 25718 (java) S 25713 25715 19811 0 -1 4202560 387 0 0 0 799 13 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690455853736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25719] ppid=25713 vsize=2966184 CPUtime=8.14 cores=1,3,5,7
/proc/25715/task/25719/stat : 25719 (java) S 25713 25715 19811 0 -1 4202560 417 0 0 0 797 17 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690454801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25720] ppid=25713 vsize=2966184 CPUtime=7.76 cores=1,3,5,7
/proc/25715/task/25720/stat : 25720 (java) S 25713 25715 19811 0 -1 4202560 387 0 0 0 762 14 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690453748648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25721] ppid=25713 vsize=2966184 CPUtime=8.09 cores=1,3,5,7
/proc/25715/task/25721/stat : 25721 (java) S 25713 25715 19811 0 -1 4202560 411 0 0 0 796 13 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690452696104 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25722] ppid=25713 vsize=2966184 CPUtime=8.14 cores=1,3,5,7
/proc/25715/task/25722/stat : 25722 (java) S 25713 25715 19811 0 -1 4202560 395 0 0 0 803 11 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690451642536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25723] ppid=25713 vsize=2966184 CPUtime=7.85 cores=1,3,5,7
/proc/25715/task/25723/stat : 25723 (java) S 25713 25715 19811 0 -1 4202560 389 0 0 0 771 14 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690450589992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25724] ppid=25713 vsize=2966184 CPUtime=7.84 cores=1,3,5,7
/proc/25715/task/25724/stat : 25724 (java) S 25713 25715 19811 0 -1 4202560 385 0 0 0 771 13 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690449537448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25725] ppid=25713 vsize=2966184 CPUtime=7.77 cores=1,3,5,7
/proc/25715/task/25725/stat : 25725 (java) S 25713 25715 19811 0 -1 4202560 412 0 0 0 761 16 0 0 20 0 22 0 342199580 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690448484904 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25726] ppid=25713 vsize=2966184 CPUtime=46.21 cores=1,3,5,7
/proc/25715/task/25726/stat : 25726 (java) S 25713 25715 19811 0 -1 4202560 164257 0 0 0 4555 66 0 0 20 0 22 0 342199581 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690436074088 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25727] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25727/stat : 25727 (java) S 25713 25715 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342199582 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690435020408 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25728] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25728/stat : 25728 (java) S 25713 25715 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342199582 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690433967752 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25729] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25729/stat : 25729 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690432916496 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25715/tid=25730] ppid=25713 vsize=2966184 CPUtime=1.57 cores=1,3,5,7
/proc/25715/task/25730/stat : 25730 (java) S 25713 25715 19811 0 -1 4202560 10658 0 0 0 155 2 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690431862840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25731] ppid=25713 vsize=2966184 CPUtime=0.9 cores=1,3,5,7
/proc/25715/task/25731/stat : 25731 (java) S 25713 25715 19811 0 -1 4202560 4633 0 0 0 88 2 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690430810296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25732] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25732/stat : 25732 (java) S 25713 25715 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690429757944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25733] ppid=25713 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/25715/task/25733/stat : 25733 (java) S 25713 25715 19811 0 -1 4202560 50 0 0 0 27 23 0 0 20 0 22 0 342199584 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690428705608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25734] ppid=25713 vsize=2966184 CPUtime=837.42 cores=1,3,5,7
/proc/25715/task/25734/stat : 25734 (java) R 25713 25715 19811 0 -1 4202560 305 0 0 0 83727 15 0 0 20 0 22 0 342200510 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690427650648 139690529552199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25715/tid=25735] ppid=25713 vsize=2966184 CPUtime=837.44 cores=1,3,5,7
/proc/25715/task/25735/stat : 25735 (java) R 25713 25715 19811 0 -1 4202560 370 0 0 0 83729 15 0 0 20 0 22 0 342200510 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690426597120 139690529781655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25715/tid=25736] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25736/stat : 25736 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342200513 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690425546280 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25715/tid=25737] ppid=25713 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25715/task/25737/stat : 25737 (java) S 25713 25715 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342200513 3037372416 287965 33554432000 1073741824 1073778376 140735775390544 139690424493736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2966184
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25715 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=321373
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=640598
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 911.355
CPU time (s): 1800.05
CPU user time (s): 1797.85
CPU system time (s): 2.2
CPU usage (%): 197.514
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.32
system time used= 2.6406
maximum resident set size= 1151984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187745
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39961
involuntary context switches= 108000
runsolver used 3.75243 second user time and 9.2036 second system time
The end