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 (14387 MiB free)
memory of node 1: 16384 MiB (13071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301307-1532877992/watcher-4301307-1532877992 -o /tmp/evaluation-result-4301307-1532877992/solver-4301307-1532877992 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22035 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301307-1532877992.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22817, runsolver pid=22814
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 2.19 2.05 1.97 3/216 22832
/proc/meminfo: memFree=28099800/32770624 swapFree=67108860/67108860
[pid=22817] ppid=22814 vsize=10659012 memory=29700 CPUtime=0.12 cores=0,2,4,6
/proc/22817/stat : 22817 (java) S 22814 22817 22004 0 -1 1077944320 6487 0 0 0 11 1 0 0 20 0 15 0 105362343 10914828288 7425 33554432000 4194304 4196468 140728516618080 140728516600624 139698408439543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
/proc/22817/statm: 2664753 7425 2814 1 0 2627263 0
[pid=22817/tid=22819] ppid=22814 vsize=10659012 memory=-8125511277465736572 CPUtime=0.09 cores=0,2,4,6
/proc/22817/task/22819/stat : 22819 (java) R 22814 22817 22004 0 -1 4202560 4269 0 0 0 8 1 0 0 20 0 15 0 105362344 10914828288 7425 33554432000 4194304 4196468 140728516618080 139698412654544 139698408461469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22820] ppid=22814 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22820/stat : 22820 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 7425 33554432000 4194304 4196468 140728516618080 139698375998480 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 7425 33554432000 4194304 4196468 140728516618080 139698014448784 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 7425 33554432000 4194304 4196468 140728516618080 139698013395728 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) S 22814 22817 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 7425 33554432000 4194304 4196468 140728516618080 139698012343184 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697900726512 139698408450690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22825] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22825/stat : 22825 (java) S 22814 22817 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697899672736 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22826] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22826/stat : 22826 (java) S 22814 22817 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697898619632 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22827] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22827/stat : 22827 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697897568208 139698408458139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22828] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22828/stat : 22828 (java) S 22814 22817 22004 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697896516336 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22829] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22829/stat : 22829 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697895463792 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22830] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0.02 cores=0,2,4,6
/proc/22817/task/22830/stat : 22830 (java) R 22814 22817 22004 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 15 0 105362349 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697894410736 139698408460890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22831] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22831/stat : 22831 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697893358432 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22832] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22832/stat : 22832 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 7425 33554432000 4194304 4196468 140728516618080 139697892305456 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29700 KiB
[startup+0.210527 s]*
/proc/loadavg: 2.19 2.05 1.97 3/216 22832
/proc/meminfo: memFree=28091592/32770624 swapFree=67108860/67108860
[pid=22817] ppid=22814 vsize=10659012 memory=40732 CPUtime=0.33 cores=0,2,4,6
/proc/22817/stat : 22817 (java) S 22814 22817 22004 0 -1 1077944320 7809 0 0 0 31 2 0 0 20 0 15 0 105362343 10914828288 10183 33554432000 4194304 4196468 140728516618080 140728516600624 139698408439543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
/proc/22817/statm: 2664753 10183 3005 1 0 2627263 0
[pid=22817/tid=22819] ppid=22814 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/22817/task/22819/stat : 22819 (java) R 22814 22817 22004 0 -1 4202560 4615 0 0 0 19 1 0 0 20 0 15 0 105362344 10914828288 10183 33554432000 4194304 4196468 140728516618080 139698412675824 139698045067515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22820] ppid=22814 vsize=10659012 memory=364 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22820/stat : 22820 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 10183 33554432000 4194304 4196468 140728516618080 139698375998480 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10659012 memory=288370608206145152 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 10183 33554432000 4194304 4196468 140728516618080 139698014448784 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 10183 33554432000 4194304 4196468 140728516618080 139698013395728 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) S 22814 22817 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 10183 33554432000 4194304 4196468 140728516618080 139698012343184 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697900726512 139698408450690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22825] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22825/stat : 22825 (java) S 22814 22817 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697899672736 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22826] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22826/stat : 22826 (java) S 22814 22817 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697898619632 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22827] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22827/stat : 22827 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697897568208 139698408458139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22828] ppid=22814 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22817/task/22828/stat : 22828 (java) S 22814 22817 22004 0 -1 1077944384 716 0 0 0 2 0 0 0 20 0 15 0 105362349 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697896516336 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22829] ppid=22814 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22817/task/22829/stat : 22829 (java) S 22814 22817 22004 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 15 0 105362349 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697895463792 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22830] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0.07 cores=0,2,4,6
/proc/22817/task/22830/stat : 22830 (java) R 22814 22817 22004 0 -1 4202560 797 0 0 0 7 0 0 0 20 0 15 0 105362349 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697894410736 139698401536379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22831] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22831/stat : 22831 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697893358432 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22832] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22832/stat : 22832 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 10183 33554432000 4194304 4196468 140728516618080 139697892305456 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40732 KiB
[startup+0.311076 s]*
/proc/loadavg: 2.19 2.05 1.97 5/216 22832
/proc/meminfo: memFree=28079016/32770624 swapFree=67108860/67108860
[pid=22817] ppid=22814 vsize=10659012 memory=54384 CPUtime=0.59 cores=0,2,4,6
/proc/22817/stat : 22817 (java) S 22814 22817 22004 0 -1 1077944320 9621 0 0 0 56 3 0 0 20 0 15 0 105362343 10914828288 13596 33554432000 4194304 4196468 140728516618080 140728516600624 139698408439543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
/proc/22817/statm: 2664753 13596 3048 1 0 2627263 0
[pid=22817/tid=22819] ppid=22814 vsize=10659012 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/22817/task/22819/stat : 22819 (java) R 22814 22817 22004 0 -1 4202560 4956 0 0 0 28 1 0 0 20 0 15 0 105362344 10914828288 13596 33554432000 4194304 4196468 140728516618080 139698412675992 139698046773563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22820] ppid=22814 vsize=10659012 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22820/stat : 22820 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 13596 33554432000 4194304 4196468 140728516618080 139698375998480 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10659012 memory=288370608206145152 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 13596 33554432000 4194304 4196468 140728516618080 139698014448784 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 13596 33554432000 4194304 4196468 140728516618080 139698013395728 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) S 22814 22817 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105362344 10914828288 13596 33554432000 4194304 4196468 140728516618080 139698012343184 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697900726512 139698408450690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22825] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22825/stat : 22825 (java) S 22814 22817 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697899672736 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22826] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22826/stat : 22826 (java) S 22814 22817 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105362346 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697898619632 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22827] ppid=22814 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22827/stat : 22827 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697897568208 139698408458139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22828] ppid=22814 vsize=10659012 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22817/task/22828/stat : 22828 (java) R 22814 22817 22004 0 -1 4202560 1087 0 0 0 7 0 0 0 20 0 15 0 105362349 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697896501800 139698391938374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22829] ppid=22814 vsize=10659012 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22817/task/22829/stat : 22829 (java) R 22814 22817 22004 0 -1 4202560 873 0 0 0 7 0 0 0 20 0 15 0 105362349 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697895444808 139698391968240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22830] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0.13 cores=0,2,4,6
/proc/22817/task/22830/stat : 22830 (java) R 22814 22817 22004 0 -1 1077944384 1338 0 0 0 13 0 0 0 20 0 15 0 105362349 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697894410736 139698408450690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22831] ppid=22814 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22831/stat : 22831 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697893358432 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22832] ppid=22814 vsize=10659012 memory=140232054433408 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22832/stat : 22832 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362349 10914828288 13596 33554432000 4194304 4196468 140728516618080 139697892305456 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54384 KiB
[startup+0.700759 s]
/proc/loadavg: 2.19 2.05 1.97 6/216 22832
/proc/meminfo: memFree=28052712/32770624 swapFree=67108860/67108860
[pid=22817] ppid=22814 vsize=10659088 memory=109936 CPUtime=1.97 cores=0,2,4,6
/proc/22817/stat : 22817 (java) S 22814 22817 22004 0 -1 1077944320 14979 0 0 0 192 5 0 0 20 0 15 0 105362343 10914906112 27484 33554432000 4194304 4196468 140728516618080 140728516600624 139698408439543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
/proc/22817/statm: 2664772 27484 3095 1 0 2627263 0
[pid=22817/tid=22819] ppid=22814 vsize=10659088 memory=1840 CPUtime=0.67 cores=0,2,4,6
/proc/22817/task/22819/stat : 22819 (java) R 22814 22817 22004 0 -1 4202560 5518 0 0 0 65 2 0 0 20 0 15 0 105362344 10914906112 27484 33554432000 4194304 4196468 140728516618080 139698412673128 139698048247746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22820] ppid=22814 vsize=10659088 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22820/stat : 22820 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914906112 27484 33554432000 4194304 4196468 140728516618080 139698375998480 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10659088 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914906112 27484 33554432000 4194304 4196468 140728516618080 139698014448784 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10659088 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362344 10914906112 27484 33554432000 4194304 4196468 140728516618080 139698013395728 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10659088 memory=792 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) S 22814 22817 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105362344 10914906112 27484 33554432000 4194304 4196468 140728516618080 139698012343184 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105362346 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697900726512 139698408450690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22825] ppid=22814 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22825/stat : 22825 (java) S 22814 22817 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105362346 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697899672736 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22826] ppid=22814 vsize=10659088 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22826/stat : 22826 (java) S 22814 22817 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105362346 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697898619632 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22827] ppid=22814 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22827/stat : 22827 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697897568208 139698408458139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22828] ppid=22814 vsize=10659088 memory=7163631965283378496 CPUtime=0.45 cores=0,2,4,6
/proc/22817/task/22828/stat : 22828 (java) R 22814 22817 22004 0 -1 4202560 2552 0 0 0 45 0 0 0 20 0 15 0 105362349 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697896502360 139698387629008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22829] ppid=22814 vsize=10659088 memory=7667213801450137426 CPUtime=0.44 cores=0,2,4,6
/proc/22817/task/22829/stat : 22829 (java) R 22814 22817 22004 0 -1 4202560 2616 0 0 0 44 0 0 0 20 0 15 0 105362349 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697895449816 139698393318562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22830] ppid=22814 vsize=10659088 memory=7295946094789283920 CPUtime=0.37 cores=0,2,4,6
/proc/22817/task/22830/stat : 22830 (java) S 22814 22817 22004 0 -1 1077944384 2923 0 0 0 37 0 0 0 20 0 15 0 105362349 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697894410736 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22831] ppid=22814 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22831/stat : 22831 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697893358432 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22832] ppid=22814 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22832/stat : 22832 (java) S 22814 22817 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105362349 10914906112 27484 33554432000 4194304 4196468 140728516618080 139697892305456 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 109936 KiB
[startup+1.50107 s]
/proc/loadavg: 2.19 2.05 1.97 5/216 22832
/proc/meminfo: memFree=27943628/32770624 swapFree=67108860/67108860
[pid=22817] ppid=22814 vsize=10661136 memory=635648 CPUtime=4.6 cores=0,2,4,6
/proc/22817/stat : 22817 (java) S 22814 22817 22004 0 -1 1077944320 22145 0 0 0 439 21 0 0 20 0 15 0 105362343 10917003264 158912 33554432000 4194304 4196468 140728516618080 140728516600624 139698408439543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
/proc/22817/statm: 2665284 158912 3146 1 0 2627775 0
[pid=22817/tid=22819] ppid=22814 vsize=10661136 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/22817/task/22819/stat : 22819 (java) R 22814 22817 22004 0 -1 4202560 5815 0 0 0 127 10 0 0 20 0 15 0 105362344 10917003264 158912 33554432000 4194304 4196468 140728516618080 139698412673752 139698392550161 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22820] ppid=22814 vsize=10661136 memory=-8253362762724047225 CPUtime=0.05 cores=0,2,4,6
/proc/22817/task/22820/stat : 22820 (java) S 22814 22817 22004 0 -1 1077944384 64 0 0 0 4 1 0 0 20 0 15 0 105362344 10917003264 158912 33554432000 4194304 4196468 140728516618080 139698375998480 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10661136 memory=-8609294068986781045 CPUtime=0.05 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) S 22814 22817 22004 0 -1 1077944384 57 0 0 0 4 1 0 0 20 0 15 0 105362344 10917003264 158912 33554432000 4194304 4196468 140728516618080 139698014448784 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10661136 memory=-6517102902069810590 CPUtime=0.04 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) S 22814 22817 22004 0 -1 1077944384 28 0 0 0 3 1 0 0 20 0 15 0 105362344 10917003264 158912 33554432000 4194304 4196468 140728516618080 139698013395728 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10661136 memory=4134692831991786133 CPUtime=0.06 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) S 22814 22817 22004 0 -1 1077944384 74 0 0 0 5 1 0 0 20 0 15 0 105362344 10917003264 158912 33554432000 4194304 4196468 140728516618080 139698012343184 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 105362346 10917003264 158912 33554432000 4194304 4196468 140728516618080 139697900726512 139698408450690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
################
# More data... #
################
/proc/22817/task/22820/stat : 22820 (java) S 22814 22817 22004 0 -1 1077944384 1577 0 0 0 265 23 0 0 20 0 16 0 105362344 10985164800 579672 33554432000 4194304 4196468 140728516618080 139698375998480 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10727700 memory=2290016 CPUtime=2.88 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) S 22814 22817 22004 0 -1 1077944384 1197 0 0 0 265 23 0 0 20 0 16 0 105362344 10985164800 579672 33554432000 4194304 4196468 140728516618080 139698014448784 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10727700 memory=2302304 CPUtime=2.85 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) S 22814 22817 22004 0 -1 1077944384 954 0 0 0 265 20 0 0 20 0 16 0 105362344 10985164800 579672 33554432000 4194304 4196468 140728516618080 139698013395728 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10727700 memory=2316640 CPUtime=2.89 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) S 22814 22817 22004 0 -1 1077944384 1201 0 0 0 264 25 0 0 20 0 16 0 105362344 10985164800 579672 33554432000 4194304 4196468 140728516618080 139698012343184 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10727700 memory=2318688 CPUtime=1.12 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 3257 0 0 0 112 0 0 0 20 0 16 0 105362346 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697900726512 139698408450690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22825] ppid=22814 vsize=10727700 memory=792 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22825/stat : 22825 (java) S 22814 22817 22004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 105362346 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697899672800 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22826] ppid=22814 vsize=10727700 memory=2318688 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22826/stat : 22826 (java) S 22814 22817 22004 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 105362346 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697898619648 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22827] ppid=22814 vsize=10727700 memory=2314592 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22827/stat : 22827 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105362349 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697897568208 139698408458139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22828] ppid=22814 vsize=10727700 memory=2318688 CPUtime=4.47 cores=0,2,4,6
/proc/22817/task/22828/stat : 22828 (java) S 22814 22817 22004 0 -1 1077944384 12638 0 0 0 446 1 0 0 20 0 16 0 105362349 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697896516336 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22829] ppid=22814 vsize=10727700 memory=2312544 CPUtime=4.46 cores=0,2,4,6
/proc/22817/task/22829/stat : 22829 (java) S 22814 22817 22004 0 -1 1077944384 15775 0 0 0 443 3 0 0 20 0 16 0 105362349 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697895463792 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22830] ppid=22814 vsize=10727700 memory=6791534058613427641 CPUtime=0.98 cores=0,2,4,6
/proc/22817/task/22830/stat : 22830 (java) S 22814 22817 22004 0 -1 1077944384 6559 0 0 0 96 2 0 0 20 0 16 0 105362349 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697894410736 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22831] ppid=22814 vsize=10727700 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22831/stat : 22831 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105362349 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697893358432 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22832] ppid=22814 vsize=10727700 memory=30092 CPUtime=0.1 cores=0,2,4,6
/proc/22817/task/22832/stat : 22832 (java) S 22814 22817 22004 0 -1 1077944384 219 0 0 0 6 4 0 0 20 0 16 0 105362349 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697892305456 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22833] ppid=22814 vsize=10727700 memory=2318688 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22833/stat : 22833 (java) S 22814 22817 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105363333 10985164800 579672 33554432000 4194304 4196468 140728516618080 139697891251248 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
Current children cumulated CPU time: 240.9 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2318688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+233.401 s]
/proc/loadavg: 2.22 2.16 2.04 3/217 22926
/proc/meminfo: memFree=24635020/32770624 swapFree=67108860/67108860
[pid=22817] ppid=22814 vsize=10727700 memory=2330976 CPUtime=252.01 cores=0,2,4,6
/proc/22817/stat : 22817 (java) S 22814 22817 22004 0 -1 1077944320 66172 0 0 0 25073 128 0 0 20 0 16 0 105362343 10985164800 582744 33554432000 4194304 4196468 140728516618080 140728516600624 139698408439543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
/proc/22817/statm: 2681925 582744 3196 1 0 2644416 0
[pid=22817/tid=22819] ppid=22814 vsize=10727700 memory=288230583166042426 CPUtime=229.27 cores=0,2,4,6
/proc/22817/task/22819/stat : 22819 (java) R 22814 22817 22004 0 -1 4202560 21299 0 0 0 22904 23 0 0 20 0 16 0 105362344 10985164800 582744 33554432000 4194304 4196468 140728516618080 139698412676152 139698045272132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22820] ppid=22814 vsize=10727700 memory=15252670952770856 CPUtime=2.88 cores=0,2,4,6
/proc/22817/task/22820/stat : 22820 (java) S 22814 22817 22004 0 -1 1077944384 1577 0 0 0 265 23 0 0 20 0 16 0 105362344 10985164800 582744 33554432000 4194304 4196468 140728516618080 139698375998480 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10727700 memory=0 CPUtime=2.88 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) S 22814 22817 22004 0 -1 1077944384 1197 0 0 0 265 23 0 0 20 0 16 0 105362344 10985164800 582744 33554432000 4194304 4196468 140728516618080 139698014448784 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10727700 memory=238216066150990 CPUtime=2.85 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) S 22814 22817 22004 0 -1 1077944384 954 0 0 0 265 20 0 0 20 0 16 0 105362344 10985164800 582744 33554432000 4194304 4196468 140728516618080 139698013395728 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10727700 memory=238216066150991 CPUtime=2.89 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) S 22814 22817 22004 0 -1 1077944384 1201 0 0 0 264 25 0 0 20 0 16 0 105362344 10985164800 582744 33554432000 4194304 4196468 140728516618080 139698012343184 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10727700 memory=238216066150992 CPUtime=1.12 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 3267 0 0 0 112 0 0 0 20 0 16 0 105362346 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697900726512 139698408450690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22825] ppid=22814 vsize=10727700 memory=238216066150993 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22825/stat : 22825 (java) S 22814 22817 22004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 105362346 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697899672800 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22826] ppid=22814 vsize=10727700 memory=238216066150994 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22826/stat : 22826 (java) S 22814 22817 22004 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 105362346 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697898619648 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22827] ppid=22814 vsize=10727700 memory=140230682214401 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22827/stat : 22827 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105362349 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697897568208 139698408458139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22828] ppid=22814 vsize=10727700 memory=140234977182112 CPUtime=4.47 cores=0,2,4,6
/proc/22817/task/22828/stat : 22828 (java) S 22814 22817 22004 0 -1 1077944384 12648 0 0 0 446 1 0 0 20 0 16 0 105362349 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697896516336 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22829] ppid=22814 vsize=10727700 memory=140234977182136 CPUtime=4.46 cores=0,2,4,6
/proc/22817/task/22829/stat : 22829 (java) S 22814 22817 22004 0 -1 1077944384 15778 0 0 0 443 3 0 0 20 0 16 0 105362349 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697895463792 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22830] ppid=22814 vsize=10727700 memory=140234977182146 CPUtime=0.98 cores=0,2,4,6
/proc/22817/task/22830/stat : 22830 (java) S 22814 22817 22004 0 -1 1077944384 6565 0 0 0 96 2 0 0 20 0 16 0 105362349 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697894410736 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22831] ppid=22814 vsize=10727700 memory=140234977182246 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22831/stat : 22831 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105362349 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697893358432 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22832] ppid=22814 vsize=10727700 memory=928 CPUtime=0.1 cores=0,2,4,6
/proc/22817/task/22832/stat : 22832 (java) S 22814 22817 22004 0 -1 1077944384 255 0 0 0 6 4 0 0 20 0 16 0 105362349 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697892305456 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22833] ppid=22814 vsize=10727700 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22833/stat : 22833 (java) S 22814 22817 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105363333 10985164800 582744 33554432000 4194304 4196468 140728516618080 139697891251248 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2330976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+233.828 s]
# the end of solver process 22817 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.869 s, system=1.60349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+233.601 s]
/proc/loadavg: 2.22 2.16 2.04 3/217 22926
/proc/meminfo: memFree=24635020/32770624 swapFree=67108860/67108860
[pid=22817] ppid=22814 vsize=10927392 memory=2538212 CPUtime=252.73 cores=0,2,4,6
/proc/22817/stat : 22817 (java) S 22814 22817 22004 0 -1 1077944320 68694 0 0 0 25124 149 0 0 20 0 17 0 105362343 11189649408 634553 33554432000 4194304 4196468 140728516618080 140728516600624 139698408439543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
/proc/22817/statm: 2731848 634553 3198 1 0 2694339 0
[pid=22817/tid=22819] ppid=22814 vsize=10927392 memory=2326880 CPUtime=229.3 cores=0,2,4,6
/proc/22817/task/22819/stat : 22819 (java) S 22814 22817 22004 0 -1 1077944384 21383 0 0 0 22907 23 0 0 20 0 17 0 105362344 11189649408 634553 33554432000 4194304 4196468 140728516618080 139698412681136 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22820] ppid=22814 vsize=10927392 memory=1572 CPUtime=3.05 cores=0,2,4,6
/proc/22817/task/22820/stat : 22820 (java) R 22814 22817 22004 0 -1 4202560 1768 0 0 0 277 28 0 0 20 0 17 0 105362344 11189649408 634553 33554432000 4194304 4196468 140728516618080 139698375998680 139698389992784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10927392 memory=2244 CPUtime=3.04 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) R 22814 22817 22004 0 -1 4202560 1511 0 0 0 276 28 0 0 20 0 17 0 105362344 11189649408 634553 33554432000 4194304 4196468 140728516618080 139698014448784 139698392959266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10927392 memory=2322784 CPUtime=3.03 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) R 22814 22817 22004 0 -1 4202560 1163 0 0 0 277 26 0 0 20 0 17 0 105362344 11189649408 634553 33554432000 4194304 4196468 140728516618080 139698013395728 139698401542885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10927392 memory=2322784 CPUtime=3.06 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) R 22814 22817 22004 0 -1 4202560 1451 0 0 0 276 30 0 0 20 0 17 0 105362344 11189649408 634553 33554432000 4194304 4196468 140728516618080 139698012343072 139698401536142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10927392 memory=2324832 CPUtime=1.12 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 3310 0 0 0 112 0 0 0 20 0 17 0 105362346 11189649408 634553 33554432000 4194304 4196468 140728516618080 139697900725024 139698408449749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22825] ppid=22814 vsize=10927392 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22825/stat : 22825 (java) S 22814 22817 22004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 105362346 11189649408 634553 33554432000 4194304 4196468 140728516618080 139697899672800 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22826] ppid=22814 vsize=10927392 memory=2328928 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22826/stat : 22826 (java) S 22814 22817 22004 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 105362346 11189649408 634553 33554432000 4194304 4196468 140728516618080 139697898619648 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22827] ppid=22814 vsize=10927392 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22827/stat : 22827 (java) S 22814 22817 22004 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 17 0 105362349 11189649408 634553 33554432000 4194304 4196468 140728516618080 139697897568208 139698408458139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22828] ppid=22814 vsize=10927392 memory=2322784 CPUtime=4.48 cores=0,2,4,6
/proc/22817/task/22828/stat : 22828 (java) S 22814 22817 22004 0 -1 1077944384 13019 0 0 0 447 1 0 0 20 0 17 0 105362349 11189649408 635065 33554432000 4194304 4196468 140728516618080 139697896516336 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22829] ppid=22814 vsize=10927392 memory=8508 CPUtime=4.47 cores=0,2,4,6
/proc/22817/task/22829/stat : 22829 (java) S 22814 22817 22004 0 -1 1077944384 15884 0 0 0 444 3 0 0 20 0 17 0 105362349 11189649408 635065 33554432000 4194304 4196468 140728516618080 139697895463792 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22830] ppid=22814 vsize=10927392 memory=1624 CPUtime=0.98 cores=0,2,4,6
/proc/22817/task/22830/stat : 22830 (java) S 22814 22817 22004 0 -1 1077944384 6912 0 0 0 96 2 0 0 20 0 17 0 105362349 11189649408 635065 33554432000 4194304 4196468 140728516618080 139697894410736 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22831] ppid=22814 vsize=10927392 memory=2320736 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22831/stat : 22831 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105362349 11189649408 635065 33554432000 4194304 4196468 140728516618080 139697893358432 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22832] ppid=22814 vsize=10927392 memory=640 CPUtime=0.1 cores=0,2,4,6
/proc/22817/task/22832/stat : 22832 (java) S 22814 22817 22004 0 -1 1077944384 255 0 0 0 6 4 0 0 20 0 17 0 105362349 11189649408 635065 33554432000 4194304 4196468 140728516618080 139697892305456 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
Current children cumulated CPU time: 252.73 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2538212 KiB
[startup+233.801 s]
/proc/loadavg: 2.22 2.16 2.04 3/217 22926
/proc/meminfo: memFree=24635020/32770624 swapFree=67108860/67108860
[pid=22817] ppid=22814 vsize=10927392 memory=2666792 CPUtime=253.44 cores=0,2,4,6
/proc/22817/stat : 22817 (java) S 22814 22817 22004 0 -1 1077944320 70535 0 0 0 25186 158 0 0 20 0 15 0 105362343 11189649408 666698 33554432000 4194304 4196468 140728516618080 140728516600624 139698408439543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
/proc/22817/statm: 2731848 666698 3199 1 0 2694339 0
[pid=22817/tid=22819] ppid=22814 vsize=10927392 memory=2326880 CPUtime=229.3 cores=0,2,4,6
/proc/22817/task/22819/stat : 22819 (java) S 22814 22817 22004 0 -1 1077944384 21383 0 0 0 22907 23 0 0 20 0 15 0 105362344 11189649408 666698 33554432000 4194304 4196468 140728516618080 139698412680944 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22820] ppid=22814 vsize=10927392 memory=2424 CPUtime=3.23 cores=0,2,4,6
/proc/22817/task/22820/stat : 22820 (java) S 22814 22817 22004 0 -1 1077944384 1854 0 0 0 292 31 0 0 20 0 15 0 105362344 11189649408 666698 33554432000 4194304 4196468 140728516618080 139698375998480 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22821] ppid=22814 vsize=10927392 memory=1840 CPUtime=3.21 cores=0,2,4,6
/proc/22817/task/22821/stat : 22821 (java) S 22814 22817 22004 0 -1 1077944384 2016 0 0 0 292 29 0 0 20 0 15 0 105362344 11189649408 666698 33554432000 4194304 4196468 140728516618080 139698014448784 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22822] ppid=22814 vsize=10927392 memory=4872558044660077418 CPUtime=3.19 cores=0,2,4,6
/proc/22817/task/22822/stat : 22822 (java) S 22814 22817 22004 0 -1 1077944384 1652 0 0 0 291 28 0 0 20 0 15 0 105362344 11189649408 666698 33554432000 4194304 4196468 140728516618080 139698013395728 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22823] ppid=22814 vsize=10927392 memory=2424 CPUtime=3.23 cores=0,2,4,6
/proc/22817/task/22823/stat : 22823 (java) S 22814 22817 22004 0 -1 1077944384 1788 0 0 0 290 33 0 0 20 0 15 0 105362344 11189649408 666698 33554432000 4194304 4196468 140728516618080 139698012343184 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22824] ppid=22814 vsize=10927392 memory=928 CPUtime=1.12 cores=0,2,4,6
/proc/22817/task/22824/stat : 22824 (java) S 22814 22817 22004 0 -1 1077944384 3447 0 0 0 112 0 0 0 20 0 15 0 105362346 11189649408 666698 33554432000 4194304 4196468 140728516618080 139697900726016 139698408450690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22825] ppid=22814 vsize=10927392 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22825/stat : 22825 (java) S 22814 22817 22004 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105362346 11189649408 666698 33554432000 4194304 4196468 140728516618080 139697899672800 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22826] ppid=22814 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22826/stat : 22826 (java) S 22814 22817 22004 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 105362346 11189649408 666698 33554432000 4194304 4196468 140728516618080 139697898619648 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22827] ppid=22814 vsize=10927392 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22827/stat : 22827 (java) S 22814 22817 22004 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 105362349 11189649408 666698 33554432000 4194304 4196468 140728516618080 139697897567856 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22828] ppid=22814 vsize=10927392 memory=1840 CPUtime=4.48 cores=0,2,4,6
/proc/22817/task/22828/stat : 22828 (java) S 22814 22817 22004 0 -1 1077944384 13040 0 0 0 447 1 0 0 20 0 15 0 105362349 11189649408 666698 33554432000 4194304 4196468 140728516618080 139697896496576 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22829] ppid=22814 vsize=10927392 memory=1004 CPUtime=4.47 cores=0,2,4,6
/proc/22817/task/22829/stat : 22829 (java) S 22814 22817 22004 0 -1 1077944384 15891 0 0 0 444 3 0 0 20 0 15 0 105362349 11189649408 666698 33554432000 4194304 4196468 140728516618080 139697895463792 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22830] ppid=22814 vsize=10927392 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/22817/task/22830/stat : 22830 (java) S 22814 22817 22004 0 -1 1077944384 6962 0 0 0 97 2 0 0 20 0 15 0 105362349 11189649408 666698 33554432000 4194304 4196468 140728516618080 139697894410736 139698408450690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
[pid=22817/tid=22831] ppid=22814 vsize=10927392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22817/task/22831/stat : 22831 (java) S 22814 22817 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105362349 11189649408 666698 33554432000 4194304 4196468 140728516618080 139697893358432 139698408449749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29642752 140728516625526 140728516625678 140728516625678 140728516628431 0
Current children cumulated CPU time: 253.44 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2666792 KiB
Child status: 143
Real time (s): 233.828
CPU time (s): 253.473
CPU user time (s): 251.869
CPU system time (s): 1.60349
CPU usage (%): 108.401
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 2666792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.869
system time used= 1.60349
maximum resident set size= 2683644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8308
involuntary context switches= 561
# summary of solver processes directly reported to runsolver:
# pid: 22817
# total CPU time (s): 253.473
# total CPU user time (s): 251.869
# total CPU system time (s): 1.60349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3479 second user time and 2.30739 second system time
The end