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 (11021 MiB free)
memory of node 1: 16384 MiB (7818 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289856-1532219675/watcher-4289856-1532219675 -o /tmp/evaluation-result-4289856-1532219675/solver-4289856-1532219675 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532209720-26948 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289856-1532219675.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
solver pid=28452, runsolver pid=28449
[startup+0.10066 s]*
/proc/loadavg: 1.84 1.97 2.08 3/217 28467
/proc/meminfo: memFree=19273468/32770624 swapFree=67108860/67108860
[pid=28452] ppid=28449 vsize=10659012 memory=31520 CPUtime=0.12 cores=0,2,4,6
/proc/28452/stat : 28452 (java) S 28449 28452 24561 0 -1 1077944320 6436 0 0 0 11 1 0 0 20 0 15 0 39530664 10914828288 7880 33554432000 4194304 4196468 140724436870848 140724436853392 140162027761399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
/proc/28452/statm: 2664753 7880 2845 1 0 2627263 0
[pid=28452/tid=28454] ppid=28449 vsize=10659012 memory=-8701690554792448894 CPUtime=0.09 cores=0,2,4,6
/proc/28452/task/28454/stat : 28454 (java) R 28449 28452 24561 0 -1 4202560 4273 0 0 0 8 1 0 0 20 0 15 0 39530665 10914828288 7880 33554432000 4194304 4196468 140724436870848 140162031975392 140162027773334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28455] ppid=28449 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28455/stat : 28455 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530666 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161964452496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28456] ppid=28449 vsize=10659012 memory=139864233797248 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28456/stat : 28456 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530666 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161633348112 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28457] ppid=28449 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28457/stat : 28457 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530666 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161632295312 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530666 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161631242512 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10659012 memory=139864233797248 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530667 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161535900528 140162027772546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28460] ppid=28449 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28460/stat : 28460 (java) S 28449 28452 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39530667 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161534846496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28461] ppid=28449 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28461/stat : 28461 (java) S 28449 28452 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39530668 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161533793648 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28462] ppid=28449 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28462/stat : 28462 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39530670 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161532741968 140162027779995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28463] ppid=28449 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28463/stat : 28463 (java) S 28449 28452 24561 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 39530670 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161531689328 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28464] ppid=28449 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28464/stat : 28464 (java) S 28449 28452 24561 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 39530670 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161530636528 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28465] ppid=28449 vsize=10659012 memory=139864233797248 CPUtime=0.02 cores=0,2,4,6
/proc/28452/task/28465/stat : 28465 (java) R 28449 28452 24561 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 39530670 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161529583728 140162011385184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28466] ppid=28449 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28466/stat : 28466 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39530670 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161528531168 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28467] ppid=28449 vsize=10659012 memory=139864233797248 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28467/stat : 28467 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530670 10914828288 7880 33554432000 4194304 4196468 140724436870848 140161527479472 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31520 KiB
[startup+0.210508 s]*
/proc/loadavg: 1.84 1.97 2.08 4/217 28467
/proc/meminfo: memFree=19265268/32770624 swapFree=67108860/67108860
[pid=28452] ppid=28449 vsize=10659012 memory=42268 CPUtime=0.33 cores=0,2,4,6
/proc/28452/stat : 28452 (java) S 28449 28452 24561 0 -1 1077944320 7669 0 0 0 31 2 0 0 20 0 15 0 39530664 10914828288 10567 33554432000 4194304 4196468 140724436870848 140724436853392 140162027761399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
/proc/28452/statm: 2664753 10567 3004 1 0 2627263 0
[pid=28452/tid=28454] ppid=28449 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28452/task/28454/stat : 28454 (java) R 28449 28452 24561 0 -1 4202560 4617 0 0 0 18 1 0 0 20 0 15 0 39530665 10914828288 10567 33554432000 4194304 4196468 140724436870848 140162031997680 140162027783325 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28455] ppid=28449 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28455/stat : 28455 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530666 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161964452496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28456] ppid=28449 vsize=10659012 memory=288370240385508992 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28456/stat : 28456 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530666 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161633348112 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28457] ppid=28449 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28457/stat : 28457 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530666 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161632295312 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530666 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161631242512 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10659012 memory=139864233797248 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530667 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161535900528 140162027772546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28460] ppid=28449 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28460/stat : 28460 (java) S 28449 28452 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39530667 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161534846496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28461] ppid=28449 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28461/stat : 28461 (java) S 28449 28452 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39530668 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161533793648 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28462] ppid=28449 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28462/stat : 28462 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39530670 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161532741968 140162027779995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28463] ppid=28449 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28452/task/28463/stat : 28463 (java) S 28449 28452 24561 0 -1 1077944384 638 0 0 0 2 0 0 0 20 0 15 0 39530670 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161531689328 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28464] ppid=28449 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28452/task/28464/stat : 28464 (java) S 28449 28452 24561 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 39530670 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161530636528 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28465] ppid=28449 vsize=10659012 memory=139864233797248 CPUtime=0.07 cores=0,2,4,6
/proc/28452/task/28465/stat : 28465 (java) R 28449 28452 24561 0 -1 4202560 678 0 0 0 7 0 0 0 20 0 15 0 39530670 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161529583728 140162006281550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28466] ppid=28449 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28466/stat : 28466 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39530670 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161528531168 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28467] ppid=28449 vsize=10659012 memory=139864233797248 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28467/stat : 28467 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530670 10914828288 10567 33554432000 4194304 4196468 140724436870848 140161527479472 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42268 KiB
[startup+0.312057 s]*
/proc/loadavg: 1.84 1.97 2.08 4/217 28467
/proc/meminfo: memFree=19258816/32770624 swapFree=67108860/67108860
[pid=28452] ppid=28449 vsize=10659088 memory=47476 CPUtime=0.53 cores=0,2,4,6
/proc/28452/stat : 28452 (java) S 28449 28452 24561 0 -1 1077944320 8426 0 0 0 50 3 0 0 20 0 15 0 39530664 10914906112 11869 33554432000 4194304 4196468 140724436870848 140724436853392 140162027761399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
/proc/28452/statm: 2664772 11869 3054 1 0 2627263 0
[pid=28452/tid=28454] ppid=28449 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/28452/task/28454/stat : 28454 (java) R 28449 28452 24561 0 -1 4202560 5182 0 0 0 28 1 0 0 20 0 15 0 39530665 10914906112 11869 33554432000 4194304 4196468 140724436870848 140162031996368 140162011805029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28455] ppid=28449 vsize=10659088 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28455/stat : 28455 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530666 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161964452496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28456] ppid=28449 vsize=10659088 memory=288370240385508992 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28456/stat : 28456 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530666 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161633348112 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28457] ppid=28449 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28457/stat : 28457 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530666 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161632295312 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530666 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161631242512 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10659088 memory=139864233797248 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39530667 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161535900528 140162027772546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28460] ppid=28449 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28460/stat : 28460 (java) S 28449 28452 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39530667 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161534846496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28461] ppid=28449 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28461/stat : 28461 (java) S 28449 28452 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39530668 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161533793648 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28462] ppid=28449 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28462/stat : 28462 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39530670 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161532741968 140162027779995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28463] ppid=28449 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28452/task/28463/stat : 28463 (java) S 28449 28452 24561 0 -1 1077944384 732 0 0 0 4 0 0 0 20 0 15 0 39530670 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161531689328 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28464] ppid=28449 vsize=10659088 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28452/task/28464/stat : 28464 (java) S 28449 28452 24561 0 -1 1077944384 377 0 0 0 3 0 0 0 20 0 15 0 39530670 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161530636528 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28465] ppid=28449 vsize=10659088 memory=139864233797248 CPUtime=0.13 cores=0,2,4,6
/proc/28452/task/28465/stat : 28465 (java) R 28449 28452 24561 0 -1 4202560 766 0 0 0 13 0 0 0 20 0 15 0 39530670 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161529583728 140162027773334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28466] ppid=28449 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28466/stat : 28466 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39530670 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161528531168 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28467] ppid=28449 vsize=10659088 memory=139864233797248 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28467/stat : 28467 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530670 10914906112 11869 33554432000 4194304 4196468 140724436870848 140161527479472 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47476 KiB
[startup+0.701585 s]
/proc/loadavg: 1.84 1.97 2.08 5/217 28467
/proc/meminfo: memFree=19205216/32770624 swapFree=67108860/67108860
[pid=28452] ppid=28449 vsize=10659088 memory=231164 CPUtime=1.6 cores=0,2,4,6
/proc/28452/stat : 28452 (java) S 28449 28452 24561 0 -1 1077944320 11229 0 0 0 148 12 0 0 20 0 15 0 39530664 10914906112 57791 33554432000 4194304 4196468 140724436870848 140724436853392 140162027761399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
/proc/28452/statm: 2664772 57791 3102 1 0 2627263 0
[pid=28452/tid=28454] ppid=28449 vsize=10659088 memory=1728 CPUtime=0.61 cores=0,2,4,6
/proc/28452/task/28454/stat : 28454 (java) S 28449 28452 24561 0 -1 1077944384 5674 0 0 0 57 4 0 0 20 0 15 0 39530665 10914906112 57791 33554432000 4194304 4196468 140724436870848 140162031996448 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28455] ppid=28449 vsize=10659088 memory=1004 CPUtime=0.05 cores=0,2,4,6
/proc/28452/task/28455/stat : 28455 (java) R 28449 28452 24561 0 -1 4202560 40 0 0 0 4 1 0 0 20 0 15 0 39530666 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161964452696 140162012783520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28456] ppid=28449 vsize=10659088 memory=11956 CPUtime=0.05 cores=0,2,4,6
/proc/28452/task/28456/stat : 28456 (java) R 28449 28452 24561 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 15 0 39530666 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161633348112 140162012782885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28457] ppid=28449 vsize=10659088 memory=5520 CPUtime=0.05 cores=0,2,4,6
/proc/28452/task/28457/stat : 28457 (java) R 28449 28452 24561 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 15 0 39530666 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161632295312 140162012783520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10659088 memory=792 CPUtime=0.05 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) R 28449 28452 24561 0 -1 4202560 29 0 0 0 4 1 0 0 20 0 15 0 39530666 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161631242400 140162012783520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 39530667 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161535899040 140162027771605 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28460] ppid=28449 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28460/stat : 28460 (java) S 28449 28452 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39530667 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161534846496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28461] ppid=28449 vsize=10659088 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28461/stat : 28461 (java) S 28449 28452 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39530668 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161533793648 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28462] ppid=28449 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28462/stat : 28462 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39530670 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161532741968 140162027779995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28463] ppid=28449 vsize=10659088 memory=7163631965283378496 CPUtime=0.25 cores=0,2,4,6
/proc/28452/task/28463/stat : 28463 (java) S 28449 28452 24561 0 -1 1077944384 1363 0 0 0 25 0 0 0 20 0 15 0 39530670 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161531689328 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28464] ppid=28449 vsize=10659088 memory=6083353102074538087 CPUtime=0.23 cores=0,2,4,6
/proc/28452/task/28464/stat : 28464 (java) S 28449 28452 24561 0 -1 1077944384 1216 0 0 0 23 0 0 0 20 0 15 0 39530670 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161530636528 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28465] ppid=28449 vsize=10659088 memory=7440061282865139792 CPUtime=0.22 cores=0,2,4,6
/proc/28452/task/28465/stat : 28465 (java) S 28449 28452 24561 0 -1 1077944384 1464 0 0 0 22 0 0 0 20 0 15 0 39530670 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161529583728 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28466] ppid=28449 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28466/stat : 28466 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39530670 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161528531168 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28467] ppid=28449 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28467/stat : 28467 (java) S 28449 28452 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39530670 10914906112 57791 33554432000 4194304 4196468 140724436870848 140161527479472 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 231164 KiB
[startup+1.50158 s]
/proc/loadavg: 1.84 1.97 2.08 3/217 28467
/proc/meminfo: memFree=18977892/32770624 swapFree=67108860/67108860
[pid=28452] ppid=28449 vsize=10659088 memory=569308 CPUtime=3.51 cores=0,2,4,6
/proc/28452/stat : 28452 (java) S 28449 28452 24561 0 -1 1077944320 12379 0 0 0 311 40 0 0 20 0 15 0 39530664 10914906112 142327 33554432000 4194304 4196468 140724436870848 140724436853392 140162027761399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
/proc/28452/statm: 2664772 142327 3130 1 0 2627263 0
[pid=28452/tid=28454] ppid=28449 vsize=10659088 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/28452/task/28454/stat : 28454 (java) S 28449 28452 24561 0 -1 1077944384 5730 0 0 0 100 4 0 0 20 0 15 0 39530665 10914906112 142327 33554432000 4194304 4196468 140724436870848 140162031998272 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28455] ppid=28449 vsize=10659088 memory=-6951259422114956437 CPUtime=0.41 cores=0,2,4,6
/proc/28452/task/28455/stat : 28455 (java) R 28449 28452 24561 0 -1 4202560 236 0 0 0 33 8 0 0 20 0 15 0 39530666 10914906112 142327 33554432000 4194304 4196468 140724436870848 140161964452496 140162009357216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28456] ppid=28449 vsize=10659088 memory=-6509546260019855295 CPUtime=0.41 cores=0,2,4,6
/proc/28452/task/28456/stat : 28456 (java) R 28449 28452 24561 0 -1 4202560 242 0 0 0 33 8 0 0 20 0 15 0 39530666 10914906112 142327 33554432000 4194304 4196468 140724436870848 140161633348000 140162012459038 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28457] ppid=28449 vsize=10659088 memory=-7390251449858225344 CPUtime=0.41 cores=0,2,4,6
/proc/28452/task/28457/stat : 28457 (java) R 28449 28452 24561 0 -1 4202560 234 0 0 0 33 8 0 0 20 0 15 0 39530666 10914906112 142327 33554432000 4194304 4196468 140724436870848 140161632295312 140162009315048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10659088 memory=4134692831991786133 CPUtime=0.41 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) R 28449 28452 24561 0 -1 4202560 254 0 0 0 33 8 0 0 20 0 15 0 39530666 10914906112 142327 33554432000 4194304 4196468 140724436870848 140161631242512 140162012459038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 39530667 10914906112 142327 33554432000 4194304 4196468 140724436870848 140161535898848 140162027771605 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
################
# More data... #
################
/proc/28452/task/28457/stat : 28457 (java) S 28449 28452 24561 0 -1 1077944384 46992 0 0 0 4108 129 0 0 20 0 16 0 39530666 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161632295312 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10727700 memory=6515232 CPUtime=42.52 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) S 28449 28452 24561 0 -1 1077944384 44641 0 0 0 4131 121 0 0 20 0 16 0 39530666 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161631242512 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10727700 memory=6511596 CPUtime=10.81 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 25701 0 0 0 1077 4 0 0 20 0 16 0 39530667 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161535900528 140162027772546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28460] ppid=28449 vsize=10727700 memory=6511596 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28460/stat : 28460 (java) S 28449 28452 24561 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 39530667 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161534846560 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28461] ppid=28449 vsize=10727700 memory=6511596 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28461/stat : 28461 (java) S 28449 28452 24561 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 39530668 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161533793664 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28462] ppid=28449 vsize=10727700 memory=6511596 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28462/stat : 28462 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39530670 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161532741968 140162027779995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28463] ppid=28449 vsize=10727700 memory=6511596 CPUtime=2.3 cores=0,2,4,6
/proc/28452/task/28463/stat : 28463 (java) S 28449 28452 24561 0 -1 1077944384 16292 0 0 0 228 2 0 0 20 0 16 0 39530670 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161531689328 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28464] ppid=28449 vsize=10727700 memory=6511596 CPUtime=2.02 cores=0,2,4,6
/proc/28452/task/28464/stat : 28464 (java) S 28449 28452 24561 0 -1 1077944384 14559 0 0 0 200 2 0 0 20 0 16 0 39530670 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161530636528 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28465] ppid=28449 vsize=10727700 memory=6508528 CPUtime=0.55 cores=0,2,4,6
/proc/28452/task/28465/stat : 28465 (java) S 28449 28452 24561 0 -1 1077944384 8582 0 0 0 53 2 0 0 20 0 16 0 39530670 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161529583728 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28466] ppid=28449 vsize=10727700 memory=6511596 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28466/stat : 28466 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39530670 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161528531168 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28467] ppid=28449 vsize=10727700 memory=6511596 CPUtime=1.4 cores=0,2,4,6
/proc/28452/task/28467/stat : 28467 (java) S 28449 28452 24561 0 -1 1077944384 2040 0 0 0 71 69 0 0 20 0 16 0 39530670 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161527479472 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28468] ppid=28449 vsize=10727700 memory=6500932 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28468/stat : 28468 (java) S 28449 28452 24561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 39534701 10985164800 1627899 33554432000 4194304 4196468 140724436870848 140161524327856 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
Current children cumulated CPU time: 2335.25 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 6511596 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/219 28562
/proc/meminfo: memFree=12656844/32770624 swapFree=67108860/67108860
[pid=28452] ppid=28449 vsize=10727700 memory=6520780 CPUtime=2396.91 cores=0,2,4,6
/proc/28452/stat : 28452 (java) S 28449 28452 24561 0 -1 1077944320 582652 0 0 0 239078 613 0 0 20 0 16 0 39530664 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140724436853392 140162027761399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
/proc/28452/statm: 2681925 1630195 3192 1 0 2644416 0
[pid=28452/tid=28454] ppid=28449 vsize=10727700 memory=6520780 CPUtime=2207.95 cores=0,2,4,6
/proc/28452/task/28454/stat : 28454 (java) R 28449 28452 24561 0 -1 4202560 297936 0 0 0 220759 36 0 0 20 0 16 0 39530665 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140162032000072 140161644310608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28455] ppid=28449 vsize=10727700 memory=6520780 CPUtime=42.93 cores=0,2,4,6
/proc/28452/task/28455/stat : 28455 (java) S 28449 28452 24561 0 -1 1077944384 52908 0 0 0 4162 131 0 0 20 0 16 0 39530666 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161964452496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28456] ppid=28449 vsize=10727700 memory=6520780 CPUtime=42.84 cores=0,2,4,6
/proc/28452/task/28456/stat : 28456 (java) S 28449 28452 24561 0 -1 1077944384 66849 0 0 0 4157 127 0 0 20 0 16 0 39530666 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161633348112 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28457] ppid=28449 vsize=10727700 memory=0 CPUtime=42.91 cores=0,2,4,6
/proc/28452/task/28457/stat : 28457 (java) S 28449 28452 24561 0 -1 1077944384 47520 0 0 0 4162 129 0 0 20 0 16 0 39530666 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161632295312 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10727700 memory=6521304 CPUtime=43.06 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) S 28449 28452 24561 0 -1 1077944384 47528 0 0 0 4185 121 0 0 20 0 16 0 39530666 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161631242512 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10727700 memory=6520780 CPUtime=10.82 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 26161 0 0 0 1077 5 0 0 20 0 16 0 39530667 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161535900528 140162027772546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28460] ppid=28449 vsize=10727700 memory=6520780 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28460/stat : 28460 (java) S 28449 28452 24561 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 39530667 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161534846560 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28461] ppid=28449 vsize=10727700 memory=8384 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28461/stat : 28461 (java) S 28449 28452 24561 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 39530668 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161533793664 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28462] ppid=28449 vsize=10727700 memory=6520780 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28462/stat : 28462 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161532741968 140162027779995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28463] ppid=28449 vsize=10727700 memory=6520780 CPUtime=2.3 cores=0,2,4,6
/proc/28452/task/28463/stat : 28463 (java) S 28449 28452 24561 0 -1 1077944384 16295 0 0 0 228 2 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161531689328 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28464] ppid=28449 vsize=10727700 memory=4028 CPUtime=2.02 cores=0,2,4,6
/proc/28452/task/28464/stat : 28464 (java) S 28449 28452 24561 0 -1 1077944384 14572 0 0 0 200 2 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161530636528 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28465] ppid=28449 vsize=10727700 memory=6520780 CPUtime=0.55 cores=0,2,4,6
/proc/28452/task/28465/stat : 28465 (java) S 28449 28452 24561 0 -1 1077944384 9368 0 0 0 53 2 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161529583728 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28466] ppid=28449 vsize=10727700 memory=8384 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28466/stat : 28466 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161528531168 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28467] ppid=28449 vsize=10727700 memory=13976 CPUtime=1.43 cores=0,2,4,6
/proc/28452/task/28467/stat : 28467 (java) S 28449 28452 24561 0 -1 1077944384 2078 0 0 0 73 70 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161527479472 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28468] ppid=28449 vsize=10727700 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28468/stat : 28468 (java) S 28449 28452 24561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 39534701 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161524327856 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
Current children cumulated CPU time: 2396.91 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 6520780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2265.4 s]
/proc/loadavg: 2.11 2.05 2.05 3/218 28638
/proc/meminfo: memFree=14125320/32770624 swapFree=67108860/67108860
[pid=28452] ppid=28449 vsize=10727700 memory=6520780 CPUtime=2400.01 cores=0,2,4,6
/proc/28452/stat : 28452 (java) S 28449 28452 24561 0 -1 1077944320 582973 0 0 0 239388 613 0 0 20 0 16 0 39530664 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140724436853392 140162027761399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
/proc/28452/statm: 2681925 1630195 3192 1 0 2644416 0
[pid=28452/tid=28454] ppid=28449 vsize=10727700 memory=288230621803970871 CPUtime=2211.04 cores=0,2,4,6
/proc/28452/task/28454/stat : 28454 (java) R 28449 28452 24561 0 -1 4202560 298255 0 0 0 221068 36 0 0 20 0 16 0 39530665 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140162032000072 140161644310596 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28455] ppid=28449 vsize=10727700 memory=14418107267549734 CPUtime=42.93 cores=0,2,4,6
/proc/28452/task/28455/stat : 28455 (java) S 28449 28452 24561 0 -1 1077944384 52908 0 0 0 4162 131 0 0 20 0 16 0 39530666 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161964452496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28456] ppid=28449 vsize=10727700 memory=848 CPUtime=42.84 cores=0,2,4,6
/proc/28452/task/28456/stat : 28456 (java) S 28449 28452 24561 0 -1 1077944384 66849 0 0 0 4157 127 0 0 20 0 16 0 39530666 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161633348112 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28457] ppid=28449 vsize=10727700 memory=1796 CPUtime=42.91 cores=0,2,4,6
/proc/28452/task/28457/stat : 28457 (java) S 28449 28452 24561 0 -1 1077944384 47520 0 0 0 4162 129 0 0 20 0 16 0 39530666 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161632295312 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10727700 memory=916 CPUtime=43.06 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) S 28449 28452 24561 0 -1 1077944384 47528 0 0 0 4185 121 0 0 20 0 16 0 39530666 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161631242512 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10727700 memory=3848 CPUtime=10.82 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 26161 0 0 0 1077 5 0 0 20 0 16 0 39530667 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161535900528 140162027772546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28460] ppid=28449 vsize=10727700 memory=2820 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28460/stat : 28460 (java) S 28449 28452 24561 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 39530667 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161534846560 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28461] ppid=28449 vsize=10727700 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28461/stat : 28461 (java) S 28449 28452 24561 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 39530668 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161533793664 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28462] ppid=28449 vsize=10727700 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28462/stat : 28462 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161532741968 140162027779995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28463] ppid=28449 vsize=10727700 memory=3312 CPUtime=2.3 cores=0,2,4,6
/proc/28452/task/28463/stat : 28463 (java) S 28449 28452 24561 0 -1 1077944384 16295 0 0 0 228 2 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161531689328 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28464] ppid=28449 vsize=10727700 memory=8148 CPUtime=2.02 cores=0,2,4,6
/proc/28452/task/28464/stat : 28464 (java) S 28449 28452 24561 0 -1 1077944384 14572 0 0 0 200 2 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161530636528 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28465] ppid=28449 vsize=10727700 memory=848 CPUtime=0.55 cores=0,2,4,6
/proc/28452/task/28465/stat : 28465 (java) S 28449 28452 24561 0 -1 1077944384 9368 0 0 0 53 2 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161529583728 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28466] ppid=28449 vsize=10727700 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28466/stat : 28466 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161528531168 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28467] ppid=28449 vsize=10727700 memory=4291 CPUtime=1.43 cores=0,2,4,6
/proc/28452/task/28467/stat : 28467 (java) S 28449 28452 24561 0 -1 1077944384 2080 0 0 0 73 70 0 0 20 0 16 0 39530670 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161527479472 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28468] ppid=28449 vsize=10727700 memory=4306 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28468/stat : 28468 (java) S 28449 28452 24561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 39534701 10985164800 1630195 33554432000 4194304 4196468 140724436870848 140161524327856 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 6520780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2265.65 s]
# the end of solver process 28452 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2394.14 s, system=6.16207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2265.6 s]
/proc/loadavg: 2.11 2.05 2.05 3/218 28638
/proc/meminfo: memFree=14125320/32770624 swapFree=67108860/67108860
[pid=28452] ppid=28449 vsize=10927392 memory=6520996 CPUtime=2400.24 cores=0,2,4,6
/proc/28452/stat : 28452 (java) S 28449 28452 24561 0 -1 1077944320 584831 0 0 0 239411 613 0 0 20 0 17 0 39530664 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140724436853392 140162027761399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
/proc/28452/statm: 2731848 1630249 3194 1 0 2694339 0
[pid=28452/tid=28454] ppid=28449 vsize=10927392 memory=13976 CPUtime=2211.25 cores=0,2,4,6
/proc/28452/task/28454/stat : 28454 (java) R 28449 28452 24561 0 -1 4202560 298360 0 0 0 221089 36 0 0 20 0 17 0 39530665 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140162031998584 140161649466076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28455] ppid=28449 vsize=10927392 memory=4028 CPUtime=42.93 cores=0,2,4,6
/proc/28452/task/28455/stat : 28455 (java) S 28449 28452 24561 0 -1 1077944384 52908 0 0 0 4162 131 0 0 20 0 17 0 39530666 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161964452496 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28456] ppid=28449 vsize=10927392 memory=13976 CPUtime=42.84 cores=0,2,4,6
/proc/28452/task/28456/stat : 28456 (java) S 28449 28452 24561 0 -1 1077944384 66849 0 0 0 4157 127 0 0 20 0 17 0 39530666 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161633348112 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28457] ppid=28449 vsize=10927392 memory=6520780 CPUtime=42.91 cores=0,2,4,6
/proc/28452/task/28457/stat : 28457 (java) S 28449 28452 24561 0 -1 1077944384 47520 0 0 0 4162 129 0 0 20 0 17 0 39530666 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161632295312 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28458] ppid=28449 vsize=10927392 memory=3328 CPUtime=43.06 cores=0,2,4,6
/proc/28452/task/28458/stat : 28458 (java) S 28449 28452 24561 0 -1 1077944384 47528 0 0 0 4185 121 0 0 20 0 17 0 39530666 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161631242512 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28459] ppid=28449 vsize=10927392 memory=6520780 CPUtime=10.82 cores=0,2,4,6
/proc/28452/task/28459/stat : 28459 (java) S 28449 28452 24561 0 -1 1077944384 26177 0 0 0 1077 5 0 0 20 0 17 0 39530667 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161535900528 140162027772546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28460] ppid=28449 vsize=10927392 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28460/stat : 28460 (java) S 28449 28452 24561 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 39530667 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161534846560 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28461] ppid=28449 vsize=10927392 memory=792 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28461/stat : 28461 (java) S 28449 28452 24561 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 39530668 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161533793664 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28462] ppid=28449 vsize=10927392 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28462/stat : 28462 (java) S 28449 28452 24561 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 17 0 39530670 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161532741968 140162027779995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28463] ppid=28449 vsize=10927392 memory=8384 CPUtime=2.3 cores=0,2,4,6
/proc/28452/task/28463/stat : 28463 (java) S 28449 28452 24561 0 -1 1077944384 16450 0 0 0 228 2 0 0 20 0 17 0 39530670 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161531689328 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28464] ppid=28449 vsize=10927392 memory=1712 CPUtime=2.04 cores=0,2,4,6
/proc/28452/task/28464/stat : 28464 (java) R 28449 28452 24561 0 -1 4202560 15234 0 0 0 202 2 0 0 20 0 17 0 39530670 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161530636824 140162011260377 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28465] ppid=28449 vsize=10927392 memory=1200 CPUtime=0.56 cores=0,2,4,6
/proc/28452/task/28465/stat : 28465 (java) S 28449 28452 24561 0 -1 1077944384 9934 0 0 0 54 2 0 0 20 0 17 0 39530670 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161529583728 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28466] ppid=28449 vsize=10927392 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/28452/task/28466/stat : 28466 (java) S 28449 28452 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39530670 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161528531168 140162027771605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
[pid=28452/tid=28467] ppid=28449 vsize=10927392 memory=1424 CPUtime=1.43 cores=0,2,4,6
/proc/28452/task/28467/stat : 28467 (java) S 28449 28452 24561 0 -1 1077944384 2080 0 0 0 73 70 0 0 20 0 17 0 39530670 11189649408 1630249 33554432000 4194304 4196468 140724436870848 140161527479472 140162027772546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32755712 140724436878449 140724436878601 140724436878601 140724436881359 0
Current children cumulated CPU time: 2400.24 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 6520996 KiB
Child status: 143
Real time (s): 2265.65
CPU time (s): 2400.31
CPU user time (s): 2394.14
CPU system time (s): 6.16207
CPU usage (%): 105.943
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 6532076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.14
system time used= 6.16207
maximum resident set size= 6532076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54285
involuntary context switches= 3798
# summary of solver processes directly reported to runsolver:
# pid: 28452
# total CPU time (s): 2400.31
# total CPU user time (s): 2394.14
# total CPU system time (s): 6.16207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8136 second user time and 23.0793 second system time
The end