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 (13161 MiB free)
memory of node 1: 16384 MiB (5731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290100-1532212740/watcher-4290100-1532212740 -o /tmp/evaluation-result-4290100-1532212740/solver-4290100-1532212740 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532209961-31982 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290100-1532212740.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=32473, runsolver pid=32470
[startup+0.100132 s]*
/proc/loadavg: 7.48 5.65 3.59 7/219 32488
/proc/meminfo: memFree=19328552/32770624 swapFree=67108860/67108860
[pid=32473] ppid=32470 vsize=10659012 memory=30556 CPUtime=0.12 cores=0,2,4,6
/proc/32473/stat : 32473 (java) S 32470 32473 29334 0 -1 1077944320 6712 0 0 0 11 1 0 0 20 0 15 0 38837223 10914828288 7639 33554432000 4194304 4196468 140726379198704 140726379181248 140537502191351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
/proc/32473/statm: 2664753 7639 2846 1 0 2627263 0
[pid=32473/tid=32475] ppid=32470 vsize=10659012 memory=-8773748148829982846 CPUtime=0.09 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) R 32470 32473 29334 0 -1 4202560 4553 0 0 0 8 1 0 0 20 0 15 0 38837224 10914828288 7639 33554432000 4194304 4196468 140726379198704 140537506413248 140537502213277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837225 10914828288 7639 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10659012 memory=140190790915712 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837225 10914828288 7639 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837225 10914828288 7639 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837225 10914828288 7639 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32480] ppid=32470 vsize=10659012 memory=140190790915712 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32480/stat : 32480 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837226 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536859850992 140537502202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32481] ppid=32470 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32481/stat : 32481 (java) S 32470 32473 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38837226 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536858797216 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32482] ppid=32470 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32482/stat : 32482 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38837227 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536857744112 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32483] ppid=32470 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32483/stat : 32483 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38837229 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536856692688 140537502209947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32484] ppid=32470 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32484/stat : 32484 (java) S 32470 32473 29334 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 38837229 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536855640816 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32485] ppid=32470 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32485/stat : 32485 (java) S 32470 32473 29334 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 38837229 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536854588272 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32486] ppid=32470 vsize=10659012 memory=140190790915712 CPUtime=0.02 cores=0,2,4,6
/proc/32473/task/32486/stat : 32486 (java) S 32470 32473 29334 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 38837229 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536853535216 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32487] ppid=32470 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32487/stat : 32487 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38837229 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536852482912 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32488] ppid=32470 vsize=10659012 memory=140190790915712 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32488/stat : 32488 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837229 10914828288 7639 33554432000 4194304 4196468 140726379198704 140536851429936 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30556 KiB
[startup+0.210682 s]*
/proc/loadavg: 7.48 5.65 3.59 8/219 32488
/proc/meminfo: memFree=19319044/32770624 swapFree=67108860/67108860
[pid=32473] ppid=32470 vsize=10659012 memory=42084 CPUtime=0.33 cores=0,2,4,6
/proc/32473/stat : 32473 (java) S 32470 32473 29334 0 -1 1077944320 8147 0 0 0 30 3 0 0 20 0 15 0 38837223 10914828288 10521 33554432000 4194304 4196468 140726379198704 140726379181248 140537502191351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
/proc/32473/statm: 2664753 10521 3004 1 0 2627263 0
[pid=32473/tid=32475] ppid=32470 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) R 32470 32473 29334 0 -1 4202560 5021 0 0 0 18 2 0 0 20 0 15 0 38837224 10914828288 10521 33554432000 4194304 4196468 140726379198704 140537506426624 140537502213277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10659012 memory=345 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837225 10914828288 10521 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10659012 memory=288370566942627456 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837225 10914828288 10521 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837225 10914828288 10521 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837225 10914828288 10521 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32480] ppid=32470 vsize=10659012 memory=140190790915712 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32480/stat : 32480 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837226 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536859850992 140537502202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32481] ppid=32470 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32481/stat : 32481 (java) S 32470 32473 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38837226 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536858797216 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32482] ppid=32470 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32482/stat : 32482 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38837227 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536857744112 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32483] ppid=32470 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32483/stat : 32483 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38837229 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536856692688 140537502209947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32484] ppid=32470 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32473/task/32484/stat : 32484 (java) S 32470 32473 29334 0 -1 1077944384 639 0 0 0 2 0 0 0 20 0 15 0 38837229 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536855640816 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32485] ppid=32470 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32473/task/32485/stat : 32485 (java) S 32470 32473 29334 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 38837229 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536854588272 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32486] ppid=32470 vsize=10659012 memory=140190790915712 CPUtime=0.07 cores=0,2,4,6
/proc/32473/task/32486/stat : 32486 (java) R 32470 32473 29334 0 -1 4202560 714 0 0 0 7 0 0 0 20 0 15 0 38837229 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536853535216 140537480859605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32487] ppid=32470 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32487/stat : 32487 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38837229 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536852482912 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32488] ppid=32470 vsize=10659012 memory=140190790915712 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32488/stat : 32488 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837229 10914828288 10521 33554432000 4194304 4196468 140726379198704 140536851429936 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42084 KiB
[startup+0.310616 s]*
/proc/loadavg: 7.48 5.65 3.59 6/219 32488
/proc/meminfo: memFree=19312220/32770624 swapFree=67108860/67108860
[pid=32473] ppid=32470 vsize=10659088 memory=47312 CPUtime=0.51 cores=0,2,4,6
/proc/32473/stat : 32473 (java) S 32470 32473 29334 0 -1 1077944320 9089 0 0 0 48 3 0 0 20 0 15 0 38837223 10914906112 11828 33554432000 4194304 4196468 140726379198704 140726379181248 140537502191351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
/proc/32473/statm: 2664772 11828 3042 1 0 2627263 0
[pid=32473/tid=32475] ppid=32470 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) R 32470 32473 29334 0 -1 4202560 5805 0 0 0 28 2 0 0 20 0 15 0 38837224 10914906112 11828 33554432000 4194304 4196468 140726379198704 140537506420064 140537486234981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10659088 memory=4294980951 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837225 10914906112 11828 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10659088 memory=288370566942627456 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837225 10914906112 11828 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837225 10914906112 11828 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837225 10914906112 11828 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32480] ppid=32470 vsize=10659088 memory=140190790915712 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32480/stat : 32480 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38837226 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536859850992 140537502202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32481] ppid=32470 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32481/stat : 32481 (java) S 32470 32473 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38837226 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536858797216 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32482] ppid=32470 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32482/stat : 32482 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38837227 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536857744112 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32483] ppid=32470 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32483/stat : 32483 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38837229 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536856692688 140537502209947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32484] ppid=32470 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32473/task/32484/stat : 32484 (java) S 32470 32473 29334 0 -1 1077944384 724 0 0 0 4 0 0 0 20 0 15 0 38837229 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536855640816 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32485] ppid=32470 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/32473/task/32485/stat : 32485 (java) S 32470 32473 29334 0 -1 1077944384 427 0 0 0 4 0 0 0 20 0 15 0 38837229 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536854588272 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32486] ppid=32470 vsize=10659088 memory=140190790915712 CPUtime=0.11 cores=0,2,4,6
/proc/32473/task/32486/stat : 32486 (java) R 32470 32473 29334 0 -1 4202560 764 0 0 0 11 0 0 0 20 0 15 0 38837229 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536853535216 140537481313569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32487] ppid=32470 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32487/stat : 32487 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38837229 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536852482912 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32488] ppid=32470 vsize=10659088 memory=140190790915712 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32488/stat : 32488 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38837229 10914906112 11828 33554432000 4194304 4196468 140726379198704 140536851429936 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47312 KiB
[startup+0.700707 s]
/proc/loadavg: 7.60 5.71 3.62 8/220 32489
/proc/meminfo: memFree=19293324/32770624 swapFree=67108860/67108860
[pid=32473] ppid=32470 vsize=10725652 memory=69468 CPUtime=1.71 cores=0,2,4,6
/proc/32473/stat : 32473 (java) S 32470 32473 29334 0 -1 1077944320 11548 0 0 0 167 4 0 0 20 0 16 0 38837223 10983067648 17367 33554432000 4194304 4196468 140726379198704 140726379181248 140537502191351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
/proc/32473/statm: 2681413 17367 3105 1 0 2643904 0
[pid=32473/tid=32475] ppid=32470 vsize=10725652 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) R 32470 32473 29334 0 -1 4202560 5981 0 0 0 65 3 0 0 20 0 16 0 38837224 10983067648 17367 33554432000 4194304 4196468 140726379198704 140537506425936 140537121303456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10725652 memory=279691223142975 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 17367 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10725652 memory=134041 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 17367 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 17367 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 17367 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32480] ppid=32470 vsize=10725652 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32480/stat : 32480 (java) S 32470 32473 29334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 38837226 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536859850992 140537502202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32481] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32481/stat : 32481 (java) S 32470 32473 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38837226 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536858797216 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32482] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32482/stat : 32482 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837227 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536857744112 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32483] ppid=32470 vsize=10725652 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32483/stat : 32483 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536856692688 140537502209947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32484] ppid=32470 vsize=10725652 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/32473/task/32484/stat : 32484 (java) R 32470 32473 29334 0 -1 4202560 1602 0 0 0 37 0 0 0 20 0 16 0 38837229 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536855640944 140537494480805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32485] ppid=32470 vsize=10725652 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/32473/task/32485/stat : 32485 (java) R 32470 32473 29334 0 -1 4202560 1299 0 0 0 38 0 0 0 20 0 16 0 38837229 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536854577504 140537483712494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32486] ppid=32470 vsize=10725652 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/32473/task/32486/stat : 32486 (java) S 32470 32473 29334 0 -1 1077944384 1273 0 0 0 25 0 0 0 20 0 16 0 38837229 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536853535216 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32487] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32487/stat : 32487 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536852482912 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32488] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32488/stat : 32488 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536851429936 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32489] ppid=32470 vsize=10725652 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32489/stat : 32489 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837268 10983067648 17367 33554432000 4194304 4196468 140726379198704 140536850375728 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 69468 KiB
[startup+1.50081 s]
/proc/loadavg: 7.60 5.71 3.62 8/220 32489
/proc/meminfo: memFree=19286624/32770624 swapFree=67108860/67108860
[pid=32473] ppid=32470 vsize=10725652 memory=75304 CPUtime=2.93 cores=0,2,4,6
/proc/32473/stat : 32473 (java) S 32470 32473 29334 0 -1 1077944320 13074 0 0 0 288 5 0 0 20 0 16 0 38837223 10983067648 18826 33554432000 4194304 4196468 140726379198704 140726379181248 140537502191351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
/proc/32473/statm: 2681413 18826 3115 1 0 2643904 0
[pid=32473/tid=32475] ppid=32470 vsize=10725652 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) R 32470 32473 29334 0 -1 4202560 6323 0 0 0 145 3 0 0 20 0 16 0 38837224 10983067648 18826 33554432000 4194304 4196468 140726379198704 140537506430008 140537121298495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 18826 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 18826 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 18826 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 18826 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
################
# More data... #
################
[pid=32473/tid=32475] ppid=32470 vsize=10725652 memory=0 CPUtime=6.27 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) R 32470 32473 29334 0 -1 4202560 6559 0 0 0 624 3 0 0 20 0 16 0 38837224 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537506427408 140537121533152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10725652 memory=7233998617793553239 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32480] ppid=32470 vsize=10725652 memory=280381370997600 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32480/stat : 32480 (java) S 32470 32473 29334 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 16 0 38837226 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536859850992 140537502202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32481] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32481/stat : 32481 (java) S 32470 32473 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38837226 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536858797216 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32482] ppid=32470 vsize=10725652 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32482/stat : 32482 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837227 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536857744112 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32483] ppid=32470 vsize=10725652 memory=4951091520830867572 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32483/stat : 32483 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536856692688 140537502209947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32484] ppid=32470 vsize=10725652 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/32473/task/32484/stat : 32484 (java) S 32470 32473 29334 0 -1 1077944384 2485 0 0 0 69 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536855640816 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32485] ppid=32470 vsize=10725652 memory=280381371143392 CPUtime=0.55 cores=0,2,4,6
/proc/32473/task/32485/stat : 32485 (java) S 32470 32473 29334 0 -1 1077944384 2454 0 0 0 55 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536854588272 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32486] ppid=32470 vsize=10725652 memory=4353106638000319328 CPUtime=0.27 cores=0,2,4,6
/proc/32473/task/32486/stat : 32486 (java) S 32470 32473 29334 0 -1 1077944384 1602 0 0 0 27 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536853535216 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32487] ppid=32470 vsize=10725652 memory=7233998617793553239 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32487/stat : 32487 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536852482912 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32488] ppid=32470 vsize=10725652 memory=12425340389697 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32488/stat : 32488 (java) S 32470 32473 29334 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536851429936 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32489] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32489/stat : 32489 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837268 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536850375728 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
Current children cumulated CPU time: 7.82 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 89776 KiB
[startup+7.66312 s]
# the end of solver process 32473 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.94397 s, system=0.064366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40092 s]
/proc/loadavg: 7.39 5.69 3.62 6/220 32489
/proc/meminfo: memFree=19269132/32770624 swapFree=67108860/67108860
[pid=32473] ppid=32470 vsize=10725652 memory=89776 CPUtime=7.92 cores=0,2,4,6
/proc/32473/stat : 32473 (java) S 32470 32473 29334 0 -1 1077944320 15103 0 0 0 787 5 0 0 20 0 16 0 38837223 10983067648 22444 33554432000 4194304 4196468 140726379198704 140726379181248 140537502191351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
/proc/32473/statm: 2681413 22444 3122 1 0 2643904 0
[pid=32473/tid=32475] ppid=32470 vsize=10725652 memory=0 CPUtime=6.37 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) R 32470 32473 29334 0 -1 4202560 6559 0 0 0 634 3 0 0 20 0 16 0 38837224 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537506427408 140537121542514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10725652 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10725652 memory=89700 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22444 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32480] ppid=32470 vsize=10725652 memory=87652 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32480/stat : 32480 (java) S 32470 32473 29334 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 16 0 38837226 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536859850992 140537502202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32481] ppid=32470 vsize=10725652 memory=280381371277280 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32481/stat : 32481 (java) S 32470 32473 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38837226 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536858797216 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32482] ppid=32470 vsize=10725652 memory=3761546625217159815 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32482/stat : 32482 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837227 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536857744112 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32483] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32483/stat : 32483 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536856692688 140537502209947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32484] ppid=32470 vsize=10725652 memory=56 CPUtime=0.69 cores=0,2,4,6
/proc/32473/task/32484/stat : 32484 (java) S 32470 32473 29334 0 -1 1077944384 2485 0 0 0 69 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536855640816 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32485] ppid=32470 vsize=10725652 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/32473/task/32485/stat : 32485 (java) S 32470 32473 29334 0 -1 1077944384 2454 0 0 0 55 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536854588272 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32486] ppid=32470 vsize=10725652 memory=85600 CPUtime=0.27 cores=0,2,4,6
/proc/32473/task/32486/stat : 32486 (java) S 32470 32473 29334 0 -1 1077944384 1602 0 0 0 27 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536853535216 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32487] ppid=32470 vsize=10725652 memory=56 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32487/stat : 32487 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536852482912 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32488] ppid=32470 vsize=10725652 memory=280381370663152 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32488/stat : 32488 (java) S 32470 32473 29334 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536851429936 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32489] ppid=32470 vsize=10725652 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32489/stat : 32489 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837268 10983067648 22444 33554432000 4194304 4196468 140726379198704 140536850375728 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
Current children cumulated CPU time: 7.92 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 89776 KiB
[startup+7.20078 s]
/proc/loadavg: 7.39 5.69 3.62 6/220 32489
/proc/meminfo: memFree=19267084/32770624 swapFree=67108860/67108860
[pid=32473] ppid=32470 vsize=10725652 memory=91824 CPUtime=8.72 cores=0,2,4,6
/proc/32473/stat : 32473 (java) S 32470 32473 29334 0 -1 1077944320 15145 0 0 0 867 5 0 0 20 0 16 0 38837223 10983067648 22956 33554432000 4194304 4196468 140726379198704 140726379181248 140537502191351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
/proc/32473/statm: 2681413 22956 3122 1 0 2643904 0
[pid=32473/tid=32475] ppid=32470 vsize=10725652 memory=288230596034180416 CPUtime=7.17 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) R 32470 32473 29334 0 -1 4202560 6562 0 0 0 714 3 0 0 20 0 16 0 38837224 10983067648 22956 33554432000 4194304 4196468 140726379198704 140537506430120 140537121308346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10725652 memory=15821084087836214 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22956 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10725652 memory=280381370731776 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22956 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22956 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 10983067648 22956 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32480] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32480/stat : 32480 (java) S 32470 32473 29334 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 16 0 38837226 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536859850992 140537502202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32481] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32481/stat : 32481 (java) S 32470 32473 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38837226 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536858797216 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32482] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32482/stat : 32482 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837227 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536857744112 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32483] ppid=32470 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32483/stat : 32483 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536856692688 140537502209947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32484] ppid=32470 vsize=10725652 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/32473/task/32484/stat : 32484 (java) S 32470 32473 29334 0 -1 1077944384 2485 0 0 0 69 0 0 0 20 0 16 0 38837229 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536855640816 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32485] ppid=32470 vsize=10725652 memory=-7957962119327172001 CPUtime=0.55 cores=0,2,4,6
/proc/32473/task/32485/stat : 32485 (java) S 32470 32473 29334 0 -1 1077944384 2454 0 0 0 55 0 0 0 20 0 16 0 38837229 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536854588272 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32486] ppid=32470 vsize=10725652 memory=6944656592455359580 CPUtime=0.27 cores=0,2,4,6
/proc/32473/task/32486/stat : 32486 (java) S 32470 32473 29334 0 -1 1077944384 1641 0 0 0 27 0 0 0 20 0 16 0 38837229 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536853535216 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32487] ppid=32470 vsize=10725652 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32487/stat : 32487 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536852482912 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32488] ppid=32470 vsize=10725652 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32488/stat : 32488 (java) S 32470 32473 29334 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 16 0 38837229 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536851429936 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32489] ppid=32470 vsize=10725652 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32489/stat : 32489 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837268 10983067648 22956 33554432000 4194304 4196468 140726379198704 140536850375728 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 91824 KiB
[startup+7.60075 s]
/proc/loadavg: 7.39 5.69 3.62 6/220 32489
/proc/meminfo: memFree=19267084/32770624 swapFree=67108860/67108860
[pid=32473] ppid=32470 vsize=10858780 memory=96000 CPUtime=8.99 cores=0,2,4,6
/proc/32473/stat : 32473 (java) S 32470 32473 29334 0 -1 1077944320 15846 0 0 0 893 6 0 0 20 0 16 0 38837223 11119390720 24000 33554432000 4194304 4196468 140726379198704 140726379181248 140537502191351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
/proc/32473/statm: 2714695 24000 3124 1 0 2677186 0
[pid=32473/tid=32475] ppid=32470 vsize=10858780 memory=1732 CPUtime=7.42 cores=0,2,4,6
/proc/32473/task/32475/stat : 32475 (java) S 32470 32473 29334 0 -1 1077944384 6939 0 0 0 739 3 0 0 20 0 16 0 38837224 11119390720 24000 33554432000 4194304 4196468 140726379198704 140537506432032 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32476] ppid=32470 vsize=10858780 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32476/stat : 32476 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 11119390720 24000 33554432000 4194304 4196468 140726379198704 140537438882832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32477] ppid=32470 vsize=10858780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32477/stat : 32477 (java) S 32470 32473 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38837225 11119390720 24000 33554432000 4194304 4196468 140726379198704 140537107442832 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32478] ppid=32470 vsize=10858780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32478/stat : 32478 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 11119390720 24000 33554432000 4194304 4196468 140726379198704 140537106389776 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32479] ppid=32470 vsize=10858780 memory=3184238110761590624 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32479/stat : 32479 (java) S 32470 32473 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38837225 11119390720 24000 33554432000 4194304 4196468 140726379198704 140537105337232 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32480] ppid=32470 vsize=10858780 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32480/stat : 32480 (java) S 32470 32473 29334 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 16 0 38837226 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536859850992 140537502202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32481] ppid=32470 vsize=10858780 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32481/stat : 32481 (java) S 32470 32473 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38837226 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536858797216 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32482] ppid=32470 vsize=10858780 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32482/stat : 32482 (java) S 32470 32473 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38837227 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536857744112 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32483] ppid=32470 vsize=10858780 memory=280381370663152 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32483/stat : 32483 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536856692688 140537502209947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32484] ppid=32470 vsize=10858780 memory=6592774800616 CPUtime=0.69 cores=0,2,4,6
/proc/32473/task/32484/stat : 32484 (java) S 32470 32473 29334 0 -1 1077944384 2562 0 0 0 69 0 0 0 20 0 16 0 38837229 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536855640816 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32485] ppid=32470 vsize=10858780 memory=288230583166042426 CPUtime=0.55 cores=0,2,4,6
/proc/32473/task/32485/stat : 32485 (java) S 32470 32473 29334 0 -1 1077944384 2454 0 0 0 55 0 0 0 20 0 16 0 38837229 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536854588272 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32486] ppid=32470 vsize=10858780 memory=14977758669309581 CPUtime=0.27 cores=0,2,4,6
/proc/32473/task/32486/stat : 32486 (java) S 32470 32473 29334 0 -1 1077944384 1745 0 0 0 27 0 0 0 20 0 16 0 38837229 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536853535216 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32487] ppid=32470 vsize=10858780 memory=4121506946080451168 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32487/stat : 32487 (java) S 32470 32473 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38837229 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536852482912 140537502201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
[pid=32473/tid=32488] ppid=32470 vsize=10858780 memory=7451718552403655588 CPUtime=0 cores=0,2,4,6
/proc/32473/task/32488/stat : 32488 (java) S 32470 32473 29334 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 16 0 38837229 11119390720 24000 33554432000 4194304 4196468 140726379198704 140536851429936 140537502202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140726379201649 140726379201801 140726379201801 140726379204559 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 96000 KiB
Child status: 0
Real time (s): 7.66317
CPU time (s): 9.00833
CPU user time (s): 8.94397
CPU system time (s): 0.064366
CPU usage (%): 117.554
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 96000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.94397
system time used= 0.064366
maximum resident set size= 98308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1702
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 32473
# total CPU time (s): 9.00833
# total CPU user time (s): 8.94397
# total CPU system time (s): 0.064366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.075802 second user time and 0.108032 second system time
The end