runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14908 MiB free)
memory of node 1: 16384 MiB (15678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388004-1568293611/watcher-4388004-1568293611 -o /tmp/evaluation-result-4388004-1568293611/solver-4388004-1568293611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388004-1568293611.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18449, runsolver pid=18446
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.91 2.04 2.21 3/239 18466
/proc/meminfo: memFree=31260768/32770624 swapFree=67003272/67108860
[pid=18449] ppid=18446 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (scop.sh) S 18446 18449 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405600770 115843072 349 33554432000 4194304 5098028 140725044336304 140725044333560 140391586128508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9469952 140725044343592 140725044343920 140725044343920 140725044346829 0
/proc/18449/statm: 28282 349 296 221 0 87 0
[pid=18452] ppid=18449 vsize=15012696 memory=72744 CPUtime=0.12 cores=1,3,5,7
/proc/18452/stat : 18452 (java) S 18449 18449 16886 0 -1 1077944320 6932 0 0 0 10 2 0 0 20 0 15 0 405600770 15373000704 18186 33554432000 4194304 4196468 140735490598032 140735490580576 140356944961271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
/proc/18452/statm: 3753174 18186 2917 1 0 3715579 0
[pid=18452/tid=18453] ppid=18449 vsize=15012696 memory=-6221297119156027327 CPUtime=0.08 cores=1,3,5,7
/proc/18452/task/18453/stat : 18453 (java) R 18449 18449 16886 0 -1 4202560 4705 0 0 0 7 1 0 0 20 0 15 0 405600770 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356916752376 140356929041758 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18454] ppid=18449 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18454/stat : 18454 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356949203600 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18455] ppid=18449 vsize=15012696 memory=140504355608192 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18455/stat : 18455 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356405451280 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18456] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18456/stat : 18456 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356404398480 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18457] ppid=18449 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (java) S 18449 18449 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356403345680 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18458] ppid=18449 vsize=15012696 memory=140504355608192 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18458/stat : 18458 (java) S 18449 18449 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405600773 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356284533616 140356944972418 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18459] ppid=18449 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18459/stat : 18459 (java) S 18449 18449 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405600774 15373000704 18252 33554432000 4194304 4196468 140735490598032 140355571803680 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18460] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18460/stat : 18460 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600774 15373000704 18252 33554432000 4194304 4196468 140735490598032 140355303368048 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18461] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18461/stat : 18461 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 18252 33554432000 4194304 4196468 140735490598032 140354928859472 140356944979867 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18462] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18462/stat : 18462 (java) S 18449 18449 16886 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356283480432 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18463] ppid=18449 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18463/stat : 18463 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356282427632 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18464] ppid=18449 vsize=15012696 memory=140504355608192 CPUtime=0.01 cores=1,3,5,7
/proc/18452/task/18464/stat : 18464 (java) S 18449 18449 16886 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 405600776 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356281374832 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18465] ppid=18449 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18465/stat : 18465 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 18252 33554432000 4194304 4196468 140735490598032 140354430953696 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18466] ppid=18449 vsize=15012696 memory=140504355608192 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18466/stat : 18466 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600777 15373000704 18252 33554432000 4194304 4196468 140735490598032 140356280323248 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74140 KiB
[startup+0.211271 s]*
/proc/loadavg: 1.91 2.04 2.21 3/239 18466
/proc/meminfo: memFree=31242136/32770624 swapFree=67003272/67108860
[pid=18449] ppid=18446 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (scop.sh) S 18446 18449 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405600770 115843072 349 33554432000 4194304 5098028 140725044336304 140725044333560 140391586128508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9469952 140725044343592 140725044343920 140725044343920 140725044346829 0
/proc/18449/statm: 28282 349 296 221 0 87 0
[pid=18452] ppid=18449 vsize=15012696 memory=87576 CPUtime=0.25 cores=1,3,5,7
/proc/18452/stat : 18452 (java) S 18449 18449 16886 0 -1 1077944320 11993 0 0 0 21 4 0 0 20 0 15 0 405600770 15373000704 21894 33554432000 4194304 4196468 140735490598032 140735490580576 140356944961271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
/proc/18452/statm: 3753174 21894 2920 1 0 3715579 0
[pid=18452/tid=18453] ppid=18449 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/18452/task/18453/stat : 18453 (java) R 18449 18449 16886 0 -1 4202560 9677 0 0 0 17 3 0 0 20 0 15 0 405600770 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356916777328 140356944983197 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18454] ppid=18449 vsize=15012696 memory=397 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18454/stat : 18454 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356949203600 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18455] ppid=18449 vsize=15012696 memory=140504355626473 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18455/stat : 18455 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356405451280 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18456] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18456/stat : 18456 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356404398480 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18457] ppid=18449 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (java) S 18449 18449 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356403345680 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18458] ppid=18449 vsize=15012696 memory=140504355608192 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18458/stat : 18458 (java) S 18449 18449 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405600773 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356284533616 140356944972418 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18459] ppid=18449 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18459/stat : 18459 (java) S 18449 18449 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405600774 15373000704 21894 33554432000 4194304 4196468 140735490598032 140355571803680 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18460] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18460/stat : 18460 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600774 15373000704 21894 33554432000 4194304 4196468 140735490598032 140355303368048 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18461] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18461/stat : 18461 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 21894 33554432000 4194304 4196468 140735490598032 140354928859472 140356944979867 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18462] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18462/stat : 18462 (java) S 18449 18449 16886 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356283480432 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18463] ppid=18449 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18463/stat : 18463 (java) S 18449 18449 16886 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356282427632 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18464] ppid=18449 vsize=15012696 memory=140504355608192 CPUtime=0.03 cores=1,3,5,7
/proc/18452/task/18464/stat : 18464 (java) S 18449 18449 16886 0 -1 1077944384 500 0 0 0 3 0 0 0 20 0 15 0 405600776 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356281374832 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18465] ppid=18449 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18465/stat : 18465 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 21894 33554432000 4194304 4196468 140735490598032 140354430953696 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18466] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18466/stat : 18466 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600777 15373000704 21894 33554432000 4194304 4196468 140735490598032 140356280323248 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88972 KiB
[startup+0.310951 s]*
/proc/loadavg: 1.91 2.04 2.21 3/239 18466
/proc/meminfo: memFree=31239468/32770624 swapFree=67003272/67108860
[pid=18449] ppid=18446 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (scop.sh) S 18446 18449 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405600770 115843072 349 33554432000 4194304 5098028 140725044336304 140725044333560 140391586128508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9469952 140725044343592 140725044343920 140725044343920 140725044346829 0
/proc/18449/statm: 28282 349 296 221 0 87 0
[pid=18452] ppid=18449 vsize=15012696 memory=91484 CPUtime=0.43 cores=1,3,5,7
/proc/18452/stat : 18452 (java) S 18449 18449 16886 0 -1 1077944320 12447 0 0 0 39 4 0 0 20 0 15 0 405600770 15373000704 22871 33554432000 4194304 4196468 140735490598032 140735490580576 140356944961271 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
/proc/18452/statm: 3753174 22871 3058 1 0 3715579 0
[pid=18452/tid=18453] ppid=18449 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/18452/task/18453/stat : 18453 (java) R 18449 18449 16886 0 -1 4202560 9864 0 0 0 26 3 0 0 20 0 15 0 405600770 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356916786944 140356926524800 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18454] ppid=18449 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18454/stat : 18454 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356949203600 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18455] ppid=18449 vsize=15012696 memory=4049914978516616217 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18455/stat : 18455 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356405451280 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18456] ppid=18449 vsize=15012696 memory=281008436181360 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18456/stat : 18456 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356404398480 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18457] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (java) S 18449 18449 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405600772 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356403345680 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18458] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18458/stat : 18458 (java) S 18449 18449 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405600773 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356284533616 140356944972418 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18459] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18459/stat : 18459 (java) S 18449 18449 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405600774 15373000704 22871 33554432000 4194304 4196468 140735490598032 140355571803680 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18460] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18460/stat : 18460 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600774 15373000704 22871 33554432000 4194304 4196468 140735490598032 140355303368048 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18461] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18461/stat : 18461 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 22871 33554432000 4194304 4196468 140735490598032 140354928859472 140356944979867 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18462] ppid=18449 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18452/task/18462/stat : 18462 (java) S 18449 18449 16886 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 15 0 405600776 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356283480432 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18463] ppid=18449 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18452/task/18463/stat : 18463 (java) S 18449 18449 16886 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 405600776 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356282427632 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18464] ppid=18449 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18452/task/18464/stat : 18464 (java) S 18449 18449 16886 0 -1 1077944384 591 0 0 0 7 0 0 0 20 0 15 0 405600776 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356281374832 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18465] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18465/stat : 18465 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15373000704 22871 33554432000 4194304 4196468 140735490598032 140354430953696 140356944971477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18466] ppid=18449 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18466/stat : 18466 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600777 15373000704 22871 33554432000 4194304 4196468 140735490598032 140356280323248 140356944972418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92880 KiB
[startup+0.701861 s]
/proc/loadavg: 1.91 2.04 2.21 3/239 18466
/proc/meminfo: memFree=31217888/32770624 swapFree=67003272/67108860
[pid=18449] ppid=18446 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (scop.sh) S 18446 18449 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405600770 115843072 349 33554432000 4194304 5098028 140725044336304 140725044333560 140391586128508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9469952 140725044343592 140725044343920 140725044343920 140725044346829 0
/proc/18449/statm: 28282 349 296 221 0 87 0
[pid=18452] ppid=18449 vsize=15018968 memory=128440 CPUtime=1.01 cores=1,3,5,7
/proc/18452/stat : 18452 (java) S 18449 18449 16886 0 -1 1077944320 19945 0 0 0 95 6 0 0 20 0 15 0 405600770 15379423232 32110 33554432000 4194304 4196468 140735490598032 140735490580576 140356944961271 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
/proc/18452/statm: 3754742 32110 3183 1 0 3716091 0
[pid=18452/tid=18453] ppid=18449 vsize=15018968 memory=1616 CPUtime=0.67 cores=1,3,5,7
/proc/18452/task/18453/stat : 18453 (java) R 18449 18449 16886 0 -1 4202560 16813 0 0 0 62 5 0 0 20 0 15 0 405600770 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356916799728 140356944983197 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18454] ppid=18449 vsize=15018968 memory=784 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18454/stat : 18454 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356949203600 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18455] ppid=18449 vsize=15018968 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18455/stat : 18455 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356405451280 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18456] ppid=18449 vsize=15018968 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18456/stat : 18456 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600772 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356404398480 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18457] ppid=18449 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (java) S 18449 18449 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405600772 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356403345680 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18458] ppid=18449 vsize=15018968 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18458/stat : 18458 (java) S 18449 18449 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405600773 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356284533616 140356944972418 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18459] ppid=18449 vsize=15018968 memory=728 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18459/stat : 18459 (java) S 18449 18449 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405600774 15379423232 32110 33554432000 4194304 4196468 140735490598032 140355571803680 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18460] ppid=18449 vsize=15018968 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18460/stat : 18460 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600774 15379423232 32110 33554432000 4194304 4196468 140735490598032 140355303368048 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18461] ppid=18449 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18461/stat : 18461 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15379423232 32110 33554432000 4194304 4196468 140735490598032 140354928859472 140356944979867 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18462] ppid=18449 vsize=15018968 memory=1212 CPUtime=0.07 cores=1,3,5,7
/proc/18452/task/18462/stat : 18462 (java) S 18449 18449 16886 0 -1 1077944384 647 0 0 0 7 0 0 0 20 0 15 0 405600776 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356283480432 140356944972418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18463] ppid=18449 vsize=15018968 memory=1036 CPUtime=0.08 cores=1,3,5,7
/proc/18452/task/18463/stat : 18463 (java) R 18449 18449 16886 0 -1 4202560 365 0 0 0 8 0 0 0 20 0 15 0 405600776 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356282418960 140356925662382 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18464] ppid=18449 vsize=15018968 memory=14008 CPUtime=0.16 cores=1,3,5,7
/proc/18452/task/18464/stat : 18464 (java) R 18449 18449 16886 0 -1 4202560 785 0 0 0 16 0 0 0 20 0 15 0 405600776 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356281371768 140356923993568 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18465] ppid=18449 vsize=15018968 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18465/stat : 18465 (java) S 18449 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15379423232 32110 33554432000 4194304 4196468 140735490598032 140354430953696 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18466] ppid=18449 vsize=15018968 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18466/stat : 18466 (java) S 18449 18449 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405600777 15379423232 32110 33554432000 4194304 4196468 140735490598032 140356280323248 140356944972418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 129836 KiB
[startup+1.5009 s]
/proc/loadavg: 1.91 2.04 2.21 4/239 18466
/proc/meminfo: memFree=31179888/32770624 swapFree=67003272/67108860
[pid=18449] ppid=18446 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18449/stat : 18449 (scop.sh) S 18446 18449 16886 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405600770 115843072 349 33554432000 4194304 5098028 140725044336304 140725044333560 140391586128508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9469952 140725044343592 140725044343920 140725044343920 140725044346829 0
/proc/18449/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1191.2 s]
/proc/loadavg: 4.63 3.76 2.94 6/237 18581
/proc/meminfo: memFree=19227312/32770624 swapFree=67003280/67108860
[pid=18452] ppid=18446 vsize=15025188 memory=12065696 CPUtime=2522.93 cores=1,3,5,7
/proc/18452/stat : 18452 (java) S 18446 18449 16886 0 -1 1077944320 326348 0 0 0 251503 790 0 0 20 0 15 0 405600770 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140735490580576 140356944961271 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
/proc/18452/statm: 3756297 3016424 3305 1 0 3717627 0
[pid=18452/tid=18453] ppid=18446 vsize=15025188 memory=2052 CPUtime=745.72 cores=1,3,5,7
/proc/18452/task/18453/stat : 18453 (java) S 18446 18449 16886 0 -1 1077944384 57827 0 0 0 74516 56 0 0 20 0 15 0 405600770 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356916800288 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18454] ppid=18446 vsize=15025188 memory=1220 CPUtime=439.96 cores=1,3,5,7
/proc/18452/task/18454/stat : 18454 (java) R 18446 18449 16886 0 -1 4202560 32673 0 0 0 43815 181 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356949203408 140356937589479 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18455] ppid=18446 vsize=15025188 memory=4872558044660077418 CPUtime=439.36 cores=1,3,5,7
/proc/18452/task/18455/stat : 18455 (java) R 18446 18449 16886 0 -1 4202560 31640 0 0 0 43765 171 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356405451400 140356937589479 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18456] ppid=18446 vsize=15025188 memory=784 CPUtime=439.89 cores=1,3,5,7
/proc/18452/task/18456/stat : 18456 (java) R 18446 18449 16886 0 -1 4202560 32307 0 0 0 43800 189 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356404398288 140356937589479 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18457] ppid=18446 vsize=15025188 memory=8252 CPUtime=439.07 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (java) R 18446 18449 16886 0 -1 4202560 33308 0 0 0 43751 156 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356403345880 140356929661904 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18458] ppid=18446 vsize=15025188 memory=5912 CPUtime=2.74 cores=1,3,5,7
/proc/18452/task/18458/stat : 18458 (java) S 18446 18449 16886 0 -1 1077944384 76003 0 0 0 269 5 0 0 20 0 15 0 405600773 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356284532160 140356944971477 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18459] ppid=18446 vsize=15025188 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18459/stat : 18459 (java) S 18446 18449 16886 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 405600774 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140355571803744 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18460] ppid=18446 vsize=15025188 memory=1036 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18460/stat : 18460 (java) S 18446 18449 16886 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 405600774 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140355303368064 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18461] ppid=18446 vsize=15025188 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18461/stat : 18461 (java) S 18446 18449 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140354928859120 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18462] ppid=18446 vsize=15025188 memory=12024 CPUtime=5.02 cores=1,3,5,7
/proc/18452/task/18462/stat : 18462 (java) S 18446 18449 16886 0 -1 1077944384 18051 0 0 0 500 2 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356283480480 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18463] ppid=18446 vsize=15025188 memory=2116 CPUtime=8.92 cores=1,3,5,7
/proc/18452/task/18463/stat : 18463 (java) S 18446 18449 16886 0 -1 1077944384 25029 0 0 0 887 5 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356282427392 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18464] ppid=18446 vsize=15025188 memory=1056 CPUtime=1.3 cores=1,3,5,7
/proc/18452/task/18464/stat : 18464 (java) S 18446 18449 16886 0 -1 1077944384 17342 0 0 0 128 2 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356281374880 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18465] ppid=18446 vsize=15025188 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18465/stat : 18465 (java) S 18446 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140354430953696 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18466] ppid=18446 vsize=15025188 memory=728 CPUtime=0.85 cores=1,3,5,7
/proc/18452/task/18466/stat : 18466 (java) S 18446 18449 16886 0 -1 1077944384 794 0 0 0 42 43 0 0 20 0 15 0 405600777 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356280323248 140356944972418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
Current cumulated CPU time of completed processes: 0.00339 s
Current children cumulated CPU time: 2522.93 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12065696 KiB
[startup+1192 s]*
/proc/loadavg: 4.63 3.76 2.94 6/237 18581
/proc/meminfo: memFree=19227564/32770624 swapFree=67003280/67108860
[pid=18452] ppid=18446 vsize=15025188 memory=12065696 CPUtime=2526.06 cores=1,3,5,7
/proc/18452/stat : 18452 (java) S 18446 18449 16886 0 -1 1077944320 326398 0 0 0 251816 790 0 0 20 0 15 0 405600770 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140735490580576 140356944961271 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
/proc/18452/statm: 3756297 3016424 3305 1 0 3717627 0
[pid=18452/tid=18453] ppid=18446 vsize=15025188 memory=4872558044660077418 CPUtime=745.72 cores=1,3,5,7
/proc/18452/task/18453/stat : 18453 (java) S 18446 18449 16886 0 -1 1077944384 57827 0 0 0 74516 56 0 0 20 0 15 0 405600770 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356916800288 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18454] ppid=18446 vsize=15025188 memory=4872558044660077418 CPUtime=440.74 cores=1,3,5,7
/proc/18452/task/18454/stat : 18454 (java) R 18446 18449 16886 0 -1 4202560 32673 0 0 0 43892 182 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356949203408 140356937589479 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18455] ppid=18446 vsize=15025188 memory=1768 CPUtime=440.13 cores=1,3,5,7
/proc/18452/task/18455/stat : 18455 (java) R 18446 18449 16886 0 -1 4202560 31640 0 0 0 43842 171 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356405451400 140356937589479 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18456] ppid=18446 vsize=15025188 memory=111628 CPUtime=440.66 cores=1,3,5,7
/proc/18452/task/18456/stat : 18456 (java) R 18446 18449 16886 0 -1 4202560 32307 0 0 0 43877 189 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356404398288 140356937589479 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18457] ppid=18446 vsize=15025188 memory=804 CPUtime=439.88 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (java) R 18446 18449 16886 0 -1 4202560 33358 0 0 0 43832 156 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356403345880 140356929661959 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18458] ppid=18446 vsize=15025188 memory=1660 CPUtime=2.74 cores=1,3,5,7
/proc/18452/task/18458/stat : 18458 (java) S 18446 18449 16886 0 -1 1077944384 76003 0 0 0 269 5 0 0 20 0 15 0 405600773 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356284532160 140356944971477 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18459] ppid=18446 vsize=15025188 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18459/stat : 18459 (java) S 18446 18449 16886 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 405600774 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140355571803744 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18460] ppid=18446 vsize=15025188 memory=920 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18460/stat : 18460 (java) S 18446 18449 16886 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 405600774 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140355303368064 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18461] ppid=18446 vsize=15025188 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18461/stat : 18461 (java) S 18446 18449 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140354928859120 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18462] ppid=18446 vsize=15025188 memory=2912 CPUtime=5.02 cores=1,3,5,7
/proc/18452/task/18462/stat : 18462 (java) S 18446 18449 16886 0 -1 1077944384 18051 0 0 0 500 2 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356283480480 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18463] ppid=18446 vsize=15025188 memory=2872 CPUtime=8.92 cores=1,3,5,7
/proc/18452/task/18463/stat : 18463 (java) S 18446 18449 16886 0 -1 1077944384 25029 0 0 0 887 5 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356282427392 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18464] ppid=18446 vsize=15025188 memory=4096 CPUtime=1.3 cores=1,3,5,7
/proc/18452/task/18464/stat : 18464 (java) S 18446 18449 16886 0 -1 1077944384 17342 0 0 0 128 2 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356281374880 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18465] ppid=18446 vsize=15025188 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18465/stat : 18465 (java) S 18446 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140354430953696 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18466] ppid=18446 vsize=15025188 memory=3544 CPUtime=0.85 cores=1,3,5,7
/proc/18452/task/18466/stat : 18466 (java) S 18446 18449 16886 0 -1 1077944384 794 0 0 0 42 43 0 0 20 0 15 0 405600777 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356280323248 140356944972418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
Current cumulated CPU time of completed processes: 0.00339 s
Current children cumulated CPU time: 2526.06 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12065696 KiB
[startup+1192.4 s]
/proc/loadavg: 4.63 3.76 2.94 6/237 18581
/proc/meminfo: memFree=19227564/32770624 swapFree=67003280/67108860
[pid=18452] ppid=18446 vsize=15025188 memory=12065696 CPUtime=2527.58 cores=1,3,5,7
/proc/18452/stat : 18452 (java) S 18446 18449 16886 0 -1 1077944320 326423 0 0 0 251967 791 0 0 20 0 15 0 405600770 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140735490580576 140356944961271 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
/proc/18452/statm: 3756297 3016424 3305 1 0 3717627 0
[pid=18452/tid=18453] ppid=18446 vsize=15025188 memory=33 CPUtime=745.72 cores=1,3,5,7
/proc/18452/task/18453/stat : 18453 (java) S 18446 18449 16886 0 -1 1077944384 57827 0 0 0 74516 56 0 0 20 0 15 0 405600770 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356916800288 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18454] ppid=18446 vsize=15025188 memory=0 CPUtime=441.12 cores=1,3,5,7
/proc/18452/task/18454/stat : 18454 (java) R 18446 18449 16886 0 -1 4202560 32673 0 0 0 43930 182 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356949203720 140356937589479 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18455] ppid=18446 vsize=15025188 memory=4872558044660077418 CPUtime=440.51 cores=1,3,5,7
/proc/18452/task/18455/stat : 18455 (java) R 18446 18449 16886 0 -1 4202560 31640 0 0 0 43879 172 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356405451400 140356937589479 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18456] ppid=18446 vsize=15025188 memory=1512 CPUtime=441.05 cores=1,3,5,7
/proc/18452/task/18456/stat : 18456 (java) R 18446 18449 16886 0 -1 4202560 32307 0 0 0 43915 190 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356404398288 140356937589479 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18457] ppid=18446 vsize=15025188 memory=792 CPUtime=440.27 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (java) R 18446 18449 16886 0 -1 4202560 33383 0 0 0 43871 156 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356403345880 140356929957724 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18458] ppid=18446 vsize=15025188 memory=1440 CPUtime=2.74 cores=1,3,5,7
/proc/18452/task/18458/stat : 18458 (java) S 18446 18449 16886 0 -1 1077944384 76003 0 0 0 269 5 0 0 20 0 15 0 405600773 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356284532160 140356944971477 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18459] ppid=18446 vsize=15025188 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18459/stat : 18459 (java) S 18446 18449 16886 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 405600774 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140355571803744 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18460] ppid=18446 vsize=15025188 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18460/stat : 18460 (java) S 18446 18449 16886 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 405600774 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140355303368064 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18461] ppid=18446 vsize=15025188 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18461/stat : 18461 (java) S 18446 18449 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140354928859120 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18462] ppid=18446 vsize=15025188 memory=111628 CPUtime=5.02 cores=1,3,5,7
/proc/18452/task/18462/stat : 18462 (java) S 18446 18449 16886 0 -1 1077944384 18051 0 0 0 500 2 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356283480480 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18463] ppid=18446 vsize=15025188 memory=4872558044660077418 CPUtime=8.92 cores=1,3,5,7
/proc/18452/task/18463/stat : 18463 (java) S 18446 18449 16886 0 -1 1077944384 25029 0 0 0 887 5 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356282427392 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18464] ppid=18446 vsize=15025188 memory=130636 CPUtime=1.3 cores=1,3,5,7
/proc/18452/task/18464/stat : 18464 (java) S 18446 18449 16886 0 -1 1077944384 17342 0 0 0 128 2 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356281374880 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18465] ppid=18446 vsize=15025188 memory=266832 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18465/stat : 18465 (java) S 18446 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140354430953696 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18466] ppid=18446 vsize=15025188 memory=1412 CPUtime=0.85 cores=1,3,5,7
/proc/18452/task/18466/stat : 18466 (java) S 18446 18449 16886 0 -1 1077944384 794 0 0 0 42 43 0 0 20 0 15 0 405600777 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356280323248 140356944972418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
Current cumulated CPU time of completed processes: 0.00339 s
Current children cumulated CPU time: 2527.58 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12065696 KiB
[startup+1192.5 s]
/proc/loadavg: 4.63 3.76 2.94 6/237 18581
/proc/meminfo: memFree=19227564/32770624 swapFree=67003280/67108860
[pid=18452] ppid=18446 vsize=15025188 memory=12065696 CPUtime=2527.97 cores=1,3,5,7
/proc/18452/stat : 18452 (java) S 18446 18449 16886 0 -1 1077944320 326429 0 0 0 252006 791 0 0 20 0 15 0 405600770 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140735490580576 140356944961271 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
/proc/18452/statm: 3756297 3016424 3305 1 0 3717627 0
[pid=18452/tid=18453] ppid=18446 vsize=15025188 memory=12065696 CPUtime=745.72 cores=1,3,5,7
/proc/18452/task/18453/stat : 18453 (java) S 18446 18449 16886 0 -1 1077944384 57827 0 0 0 74516 56 0 0 20 0 15 0 405600770 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356916800288 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18454] ppid=18446 vsize=15025188 memory=12065696 CPUtime=441.21 cores=1,3,5,7
/proc/18452/task/18454/stat : 18454 (java) R 18446 18449 16886 0 -1 4202560 32673 0 0 0 43939 182 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356949203408 140356937589479 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18455] ppid=18446 vsize=15025188 memory=12065696 CPUtime=440.6 cores=1,3,5,7
/proc/18452/task/18455/stat : 18455 (java) R 18446 18449 16886 0 -1 4202560 31640 0 0 0 43888 172 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356405451400 140356937589479 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18456] ppid=18446 vsize=15025188 memory=12065696 CPUtime=441.14 cores=1,3,5,7
/proc/18452/task/18456/stat : 18456 (java) R 18446 18449 16886 0 -1 4202560 32307 0 0 0 43924 190 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356404398288 140356937589479 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18457] ppid=18446 vsize=15025188 memory=12065696 CPUtime=440.37 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (java) R 18446 18449 16886 0 -1 4202560 33389 0 0 0 43881 156 0 0 20 0 15 0 405600772 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356403345880 140356929661870 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18458] ppid=18446 vsize=15025188 memory=12065696 CPUtime=2.74 cores=1,3,5,7
/proc/18452/task/18458/stat : 18458 (java) S 18446 18449 16886 0 -1 1077944384 76003 0 0 0 269 5 0 0 20 0 15 0 405600773 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356284532160 140356944971477 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18459] ppid=18446 vsize=15025188 memory=12065628 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18459/stat : 18459 (java) S 18446 18449 16886 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 405600774 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140355571803744 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18460] ppid=18446 vsize=15025188 memory=12065696 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18460/stat : 18460 (java) S 18446 18449 16886 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 405600774 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140355303368064 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18461] ppid=18446 vsize=15025188 memory=12065696 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18461/stat : 18461 (java) S 18446 18449 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140354928859120 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18462] ppid=18446 vsize=15025188 memory=1396 CPUtime=5.02 cores=1,3,5,7
/proc/18452/task/18462/stat : 18462 (java) S 18446 18449 16886 0 -1 1077944384 18051 0 0 0 500 2 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356283480480 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18463] ppid=18446 vsize=15025188 memory=1212 CPUtime=8.92 cores=1,3,5,7
/proc/18452/task/18463/stat : 18463 (java) S 18446 18449 16886 0 -1 1077944384 25029 0 0 0 887 5 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356282427392 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18464] ppid=18446 vsize=15025188 memory=12065696 CPUtime=1.3 cores=1,3,5,7
/proc/18452/task/18464/stat : 18464 (java) S 18446 18449 16886 0 -1 1077944384 17342 0 0 0 128 2 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356281374880 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18465] ppid=18446 vsize=15025188 memory=12065696 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18465/stat : 18465 (java) S 18446 18449 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405600776 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140354430953696 140356944971477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
[pid=18452/tid=18466] ppid=18446 vsize=15025188 memory=12065696 CPUtime=0.85 cores=1,3,5,7
/proc/18452/task/18466/stat : 18466 (java) S 18446 18449 16886 0 -1 1077944384 794 0 0 0 42 43 0 0 20 0 15 0 405600777 15385792512 3016424 33554432000 4194304 4196468 140735490598032 140356280323248 140356944972418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38563840 140735490601710 140735490602138 140735490602138 140735490605007 0
Current cumulated CPU time of completed processes: 0.00339 s
Current children cumulated CPU time: 2527.97 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12065696 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1192.55
CPU time (s): 2528.03
CPU user time (s): 2520.07
CPU system time (s): 7.96619
CPU usage (%): 211.985
Max. virtual memory (cumulated for all children) (KiB): 15138316
Max. memory (cumulated for all children) (KiB): 12067092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 7.96619
maximum resident set size= 12065880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36619
involuntary context switches= 18078
# summary of solver processes directly reported to runsolver:
# pid: 18449,18452
# total CPU time (s): 2528.03
# total CPU user time (s): 2520.07
# total CPU system time (s): 7.96619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0538 second user time and 9.37514 second system time
The end