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 (9588 MiB free)
memory of node 1: 16384 MiB (12635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302366-1532897530/watcher-4302366-1532897530 -o /tmp/evaluation-result-4302366-1532897530/solver-4302366-1532897530 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532895510-17593 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1323347987 HOME/instance-4302366-1532897530.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=20725, runsolver pid=20722
[startup+0.100139 s]*
/proc/loadavg: 1.29 1.47 1.59 4/207 20782
/proc/meminfo: memFree=22751300/32770624 swapFree=67108860/67108860
[pid=20725] ppid=20722 vsize=10005480 memory=15180 CPUtime=0.09 cores=1,3,5,7
/proc/20725/stat : 20725 (java) S 20722 20725 6396 0 -1 1077944320 4450 12970 0 0 1 1 5 2 20 0 6 0 107316143 10245611520 3795 33554432000 4194304 4196468 140727492346016 140727492328560 140449022316279 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
/proc/20725/statm: 2501370 3795 1935 1 0 2489808 0
[pid=20725/tid=20778] ppid=20722 vsize=10005480 memory=4279135703913365132 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20778/stat : 20778 (java) R 20722 20725 6396 0 -1 4202560 2267 12970 0 0 0 0 5 2 20 0 6 0 107316152 10245611520 3795 33554432000 4194304 4196468 140727492346016 140448994153040 140449006396766 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20779] ppid=20722 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20779/stat : 20779 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 6 0 107316152 10245611520 3795 33554432000 4194304 4196468 140727492346016 140449026558480 140449022326485 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20780] ppid=20722 vsize=10005480 memory=140625590503040 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20780/stat : 20780 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 6 0 107316152 10245611520 3795 33554432000 4194304 4196468 140727492346016 140448562260624 140449022326485 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20781] ppid=20722 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20781/stat : 20781 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 6 0 107316152 10245611520 3795 33554432000 4194304 4196468 140727492346016 140448561207568 140449022326485 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20782] ppid=20722 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20782/stat : 20782 (java) S 20722 20725 6396 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 6 0 107316152 10245611520 3795 33554432000 4194304 4196468 140727492346016 140448560155024 140449022326485 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15180 KiB
[startup+0.209747 s]*
/proc/loadavg: 1.29 1.47 1.59 3/216 20791
/proc/meminfo: memFree=22726900/32770624 swapFree=67108860/67108860
[pid=20725] ppid=20722 vsize=10982696 memory=45220 CPUtime=0.25 cores=1,3,5,7
/proc/20725/stat : 20725 (java) S 20722 20725 6396 0 -1 1077944320 8683 12970 0 0 16 2 5 2 20 0 15 0 107316143 11246280704 11305 33554432000 4194304 4196468 140727492346016 140727492328560 140449022316279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
/proc/20725/statm: 2745674 11305 2933 1 0 2708109 0
[pid=20725/tid=20778] ppid=20722 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/20725/task/20778/stat : 20778 (java) R 20722 20725 6396 0 -1 4202560 5232 12970 0 0 10 1 5 2 20 0 15 0 107316152 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448994113936 140449005503088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20779] ppid=20722 vsize=10982696 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20779/stat : 20779 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246280704 11305 33554432000 4194304 4196468 140727492346016 140449026558480 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20780] ppid=20722 vsize=10982696 memory=140625591146581 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20780/stat : 20780 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448562260624 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20781] ppid=20722 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20781/stat : 20781 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448561207568 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20782] ppid=20722 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20782/stat : 20782 (java) S 20722 20725 6396 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448560155024 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20783] ppid=20722 vsize=10982696 memory=140625590503040 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20783/stat : 20783 (java) S 20722 20725 6396 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448447314672 140449022327426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20784] ppid=20722 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20784/stat : 20784 (java) S 20722 20725 6396 0 -1 1077944384 13 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246280704 11305 33554432000 4194304 4196468 140727492346016 140447846491808 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20785] ppid=20722 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20785/stat : 20785 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246280704 11305 33554432000 4194304 4196468 140727492346016 140447645164784 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20786] ppid=20722 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20786/stat : 20786 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11246280704 11305 33554432000 4194304 4196468 140727492346016 140447337765328 140449022334875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20787] ppid=20722 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20725/task/20787/stat : 20787 (java) S 20722 20725 6396 0 -1 1077944384 368 12970 0 0 1 0 5 2 20 0 15 0 107316157 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448446261488 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20788] ppid=20722 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20788/stat : 20788 (java) S 20722 20725 6396 0 -1 1077944384 247 12970 0 0 0 0 5 2 20 0 15 0 107316157 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448445208944 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20789] ppid=20722 vsize=10982696 memory=140625590503040 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20789/stat : 20789 (java) S 20722 20725 6396 0 -1 1077944384 618 12970 0 0 3 0 5 2 20 0 15 0 107316157 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448444155888 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20790] ppid=20722 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20790/stat : 20790 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11246280704 11305 33554432000 4194304 4196468 140727492346016 140446906968416 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20791] ppid=20722 vsize=10982696 memory=140625590503040 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20791/stat : 20791 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316158 11246280704 11305 33554432000 4194304 4196468 140727492346016 140448443104304 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45220 KiB
[startup+0.310592 s]*
/proc/loadavg: 1.29 1.47 1.59 3/216 20791
/proc/meminfo: memFree=22715632/32770624 swapFree=67108860/67108860
[pid=20725] ppid=20722 vsize=10983192 memory=56548 CPUtime=0.37 cores=1,3,5,7
/proc/20725/stat : 20725 (java) S 20722 20725 6396 0 -1 1077944320 10693 12970 0 0 27 3 5 2 20 0 15 0 107316143 11246788608 14137 33554432000 4194304 4196468 140727492346016 140727492328560 140449022316279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
/proc/20725/statm: 2745798 14137 3065 1 0 2708109 0
[pid=20725/tid=20778] ppid=20722 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/20725/task/20778/stat : 20778 (java) R 20722 20725 6396 0 -1 4202560 7238 12970 0 0 19 2 5 2 20 0 15 0 107316152 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448994128288 140449003879848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20779] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20779/stat : 20779 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246788608 14137 33554432000 4194304 4196468 140727492346016 140449026558480 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20780] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20780/stat : 20780 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448562260624 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20781] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20781/stat : 20781 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448561207568 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20782] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20782/stat : 20782 (java) S 20722 20725 6396 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448560155024 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20783] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20783/stat : 20783 (java) S 20722 20725 6396 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448447314672 140449022327426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20784] ppid=20722 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20784/stat : 20784 (java) S 20722 20725 6396 0 -1 1077944384 13 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246788608 14137 33554432000 4194304 4196468 140727492346016 140447846491808 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20785] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20785/stat : 20785 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246788608 14137 33554432000 4194304 4196468 140727492346016 140447645164784 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20786] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20786/stat : 20786 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11246788608 14137 33554432000 4194304 4196468 140727492346016 140447337765328 140449022334875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20787] ppid=20722 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20725/task/20787/stat : 20787 (java) S 20722 20725 6396 0 -1 1077944384 369 12970 0 0 2 0 5 2 20 0 15 0 107316157 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448446261488 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20788] ppid=20722 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20725/task/20788/stat : 20788 (java) S 20722 20725 6396 0 -1 1077944384 247 12970 0 0 1 0 5 2 20 0 15 0 107316157 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448445208944 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20789] ppid=20722 vsize=10983192 memory=140625590503040 CPUtime=0.11 cores=1,3,5,7
/proc/20725/task/20789/stat : 20789 (java) S 20722 20725 6396 0 -1 1077944384 623 12970 0 0 4 0 5 2 20 0 15 0 107316157 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448444155888 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20790] ppid=20722 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20790/stat : 20790 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11246788608 14137 33554432000 4194304 4196468 140727492346016 140446906968416 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20791] ppid=20722 vsize=10983192 memory=140625590503040 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20791/stat : 20791 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316158 11246788608 14137 33554432000 4194304 4196468 140727492346016 140448443104304 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56548 KiB
[startup+0.700764 s]
/proc/loadavg: 1.29 1.47 1.59 3/216 20791
/proc/meminfo: memFree=22704468/32770624 swapFree=67108860/67108860
[pid=20725] ppid=20722 vsize=10983192 memory=88696 CPUtime=0.98 cores=1,3,5,7
/proc/20725/stat : 20725 (java) S 20722 20725 6396 0 -1 1077944320 16868 12970 0 0 86 5 5 2 20 0 15 0 107316143 11246788608 22174 33554432000 4194304 4196468 140727492346016 140727492328560 140449022316279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
/proc/20725/statm: 2745798 22174 3222 1 0 2708109 0
[pid=20725/tid=20778] ppid=20722 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/20725/task/20778/stat : 20778 (java) R 20722 20725 6396 0 -1 4202560 12474 12970 0 0 55 4 5 2 20 0 15 0 107316152 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448994138448 140449006396766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20779] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20779/stat : 20779 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246788608 22174 33554432000 4194304 4196468 140727492346016 140449026558480 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20780] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20780/stat : 20780 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448562260624 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20781] ppid=20722 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20781/stat : 20781 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448561207568 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20782] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20782/stat : 20782 (java) S 20722 20725 6396 0 -1 1077944384 2 12970 0 0 0 0 5 2 20 0 15 0 107316152 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448560155024 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20783] ppid=20722 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20783/stat : 20783 (java) S 20722 20725 6396 0 -1 1077944384 5 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448447314672 140449022327426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20784] ppid=20722 vsize=10983192 memory=140625483805392 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20784/stat : 20784 (java) S 20722 20725 6396 0 -1 1077944384 13 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246788608 22174 33554432000 4194304 4196468 140727492346016 140447846491808 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20785] ppid=20722 vsize=10983192 memory=140625819206243 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20785/stat : 20785 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316154 11246788608 22174 33554432000 4194304 4196468 140727492346016 140447645164784 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20786] ppid=20722 vsize=10983192 memory=8600 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20786/stat : 20786 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11246788608 22174 33554432000 4194304 4196468 140727492346016 140447337765328 140449022334875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20787] ppid=20722 vsize=10983192 memory=7234564758908855872 CPUtime=0.18 cores=1,3,5,7
/proc/20725/task/20787/stat : 20787 (java) S 20722 20725 6396 0 -1 1077944384 1002 12970 0 0 11 0 5 2 20 0 15 0 107316157 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448446261488 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20788] ppid=20722 vsize=10983192 memory=7597685182856913236 CPUtime=0.13 cores=1,3,5,7
/proc/20725/task/20788/stat : 20788 (java) S 20722 20725 6396 0 -1 1077944384 516 12970 0 0 6 0 5 2 20 0 15 0 107316157 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448445208944 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20789] ppid=20722 vsize=10983192 memory=5787220445994897765 CPUtime=0.19 cores=1,3,5,7
/proc/20725/task/20789/stat : 20789 (java) S 20722 20725 6396 0 -1 1077944384 655 12970 0 0 12 0 5 2 20 0 15 0 107316157 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448444155888 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20790] ppid=20722 vsize=10983192 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20790/stat : 20790 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11246788608 22174 33554432000 4194304 4196468 140727492346016 140446906968416 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20791] ppid=20722 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20791/stat : 20791 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316158 11246788608 22174 33554432000 4194304 4196468 140727492346016 140448443104304 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88696 KiB
[startup+1.50064 s]
/proc/loadavg: 1.29 1.47 1.59 3/216 20791
/proc/meminfo: memFree=22658756/32770624 swapFree=67108860/67108860
[pid=20725] ppid=20722 vsize=10998092 memory=177356 CPUtime=2.25 cores=1,3,5,7
/proc/20725/stat : 20725 (java) S 20722 20725 6396 0 -1 1077944320 23897 12970 0 0 208 10 5 2 20 0 15 0 107316143 11262046208 44339 33554432000 4194304 4196468 140727492346016 140727492328560 140449022316279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
/proc/20725/statm: 2749523 44339 3469 1 0 2711181 0
[pid=20725/tid=20778] ppid=20722 vsize=10998092 memory=12813 CPUtime=1.42 cores=1,3,5,7
/proc/20725/task/20778/stat : 20778 (java) R 20722 20725 6396 0 -1 4202560 18073 12970 0 0 129 6 5 2 20 0 15 0 107316152 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448994147504 140449006396766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20779] ppid=20722 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20779/stat : 20779 (java) S 20722 20725 6396 0 -1 1077944384 21 12970 0 0 0 0 5 2 20 0 15 0 107316152 11262046208 44339 33554432000 4194304 4196468 140727492346016 140449026558480 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20780] ppid=20722 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20725/task/20780/stat : 20780 (java) S 20722 20725 6396 0 -1 1077944384 48 12970 0 0 1 0 5 2 20 0 15 0 107316152 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448562260624 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20781] ppid=20722 vsize=10998092 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20781/stat : 20781 (java) S 20722 20725 6396 0 -1 1077944384 18 12970 0 0 0 0 5 2 20 0 15 0 107316152 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448561207568 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20782] ppid=20722 vsize=10998092 memory=88696 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20782/stat : 20782 (java) S 20722 20725 6396 0 -1 1077944384 210 12970 0 0 0 0 5 2 20 0 15 0 107316152 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448560155024 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20783] ppid=20722 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20725/task/20783/stat : 20783 (java) S 20722 20725 6396 0 -1 1077944384 56 12970 0 0 1 0 5 2 20 0 15 0 107316154 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448447314672 140449022327426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20784] ppid=20722 vsize=10998092 memory=281250967552496 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20784/stat : 20784 (java) S 20722 20725 6396 0 -1 1077944384 14 12970 0 0 0 0 5 2 20 0 15 0 107316154 11262046208 44339 33554432000 4194304 4196468 140727492346016 140447846491872 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20785] ppid=20722 vsize=10998092 memory=281250967603296 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20785/stat : 20785 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316154 11262046208 44339 33554432000 4194304 4196468 140727492346016 140447645164800 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20786] ppid=20722 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20786/stat : 20786 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11262046208 44339 33554432000 4194304 4196468 140727492346016 140447337765328 140449022334875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20787] ppid=20722 vsize=10998092 memory=4638778398332698720 CPUtime=0.26 cores=1,3,5,7
/proc/20725/task/20787/stat : 20787 (java) S 20722 20725 6396 0 -1 1077944384 1131 12970 0 0 19 0 5 2 20 0 15 0 107316157 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448446261488 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20788] ppid=20722 vsize=10998092 memory=281250967886720 CPUtime=0.29 cores=1,3,5,7
/proc/20725/task/20788/stat : 20788 (java) S 20722 20725 6396 0 -1 1077944384 963 12970 0 0 22 0 5 2 20 0 15 0 107316157 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448445208944 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20789] ppid=20722 vsize=10998092 memory=-7531822216213012384 CPUtime=0.37 cores=1,3,5,7
/proc/20725/task/20789/stat : 20789 (java) R 20722 20725 6396 0 -1 1077944384 1166 12970 0 0 30 0 5 2 20 0 15 0 107316157 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448444155888 140449022327426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20790] ppid=20722 vsize=10998092 memory=-7531822216213012384 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20790/stat : 20790 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11262046208 44339 33554432000 4194304 4196468 140727492346016 140446906968416 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20791] ppid=20722 vsize=10998092 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20791/stat : 20791 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316158 11262046208 44339 33554432000 4194304 4196468 140727492346016 140448443104304 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 177356 KiB
[startup+3.11117 s]
/proc/loadavg: 1.29 1.47 1.59 4/216 20791
/proc/meminfo: memFree=22542932/32770624 swapFree=67108860/67108860
[pid=20725] ppid=20722 vsize=11008352 memory=247792 CPUtime=6.13 cores=1,3,5,7
/proc/20725/stat : 20725 (java) S 20722 20725 6396 0 -1 1077944320 35873 12970 0 0 590 16 5 2 20 0 15 0 107316143 11272552448 61948 33554432000 4194304 4196468 140727492346016 140727492328560 140449022316279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
/proc/20725/statm: 2752088 61948 3494 1 0 2713741 0
[pid=20725/tid=20778] ppid=20722 vsize=11008352 memory=192452 CPUtime=2.98 cores=1,3,5,7
/proc/20725/task/20778/stat : 20778 (java) R 20722 20725 6396 0 -1 4202560 24171 12970 0 0 283 8 5 2 20 0 15 0 107316152 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448994131664 140449007231083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20779] ppid=20722 vsize=11008352 memory=12813 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20779/stat : 20779 (java) S 20722 20725 6396 0 -1 1077944384 33 12970 0 0 3 0 5 2 20 0 15 0 107316152 11272552448 61948 33554432000 4194304 4196468 140727492346016 140449026558480 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20780] ppid=20722 vsize=11008352 memory=140625483899288 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20780/stat : 20780 (java) S 20722 20725 6396 0 -1 1077944384 69 12970 0 0 3 0 5 2 20 0 15 0 107316152 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448562260624 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20781] ppid=20722 vsize=11008352 memory=-7679004722349093442 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20781/stat : 20781 (java) S 20722 20725 6396 0 -1 1077944384 38 12970 0 0 3 0 5 2 20 0 15 0 107316152 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448561207568 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20782] ppid=20722 vsize=11008352 memory=16412 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20782/stat : 20782 (java) S 20722 20725 6396 0 -1 1077944384 233 12970 0 0 3 0 5 2 20 0 15 0 107316152 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448560155024 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20783] ppid=20722 vsize=11008352 memory=17440 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20783/stat : 20783 (java) S 20722 20725 6396 0 -1 1077944384 1016 12970 0 0 3 0 5 2 20 0 15 0 107316154 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448447314672 140449022327426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20784] ppid=20722 vsize=11008352 memory=4048 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20784/stat : 20784 (java) S 20722 20725 6396 0 -1 1077944384 14 12970 0 0 0 0 5 2 20 0 15 0 107316154 11272552448 61948 33554432000 4194304 4196468 140727492346016 140447846491872 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20785] ppid=20722 vsize=11008352 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20785/stat : 20785 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316154 11272552448 61948 33554432000 4194304 4196468 140727492346016 140447645164800 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20786] ppid=20722 vsize=11008352 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20786/stat : 20786 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11272552448 61948 33554432000 4194304 4196468 140727492346016 140447337765328 140449022334875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20787] ppid=20722 vsize=11008352 memory=6655300316396806240 CPUtime=0.8 cores=1,3,5,7
/proc/20725/task/20787/stat : 20787 (java) R 20722 20725 6396 0 -1 4202560 1823 12970 0 0 73 0 5 2 20 0 15 0 107316157 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448446247584 140449007239885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20788] ppid=20722 vsize=11008352 memory=4128 CPUtime=1.14 cores=1,3,5,7
/proc/20725/task/20788/stat : 20788 (java) S 20722 20725 6396 0 -1 1077944384 2488 12970 0 0 106 1 5 2 20 0 15 0 107316157 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448445208944 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20789] ppid=20722 vsize=11008352 memory=30468 CPUtime=1.18 cores=1,3,5,7
/proc/20725/task/20789/stat : 20789 (java) S 20722 20725 6396 0 -1 1077944384 3790 12970 0 0 109 2 5 2 20 0 15 0 107316157 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448444155888 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20790] ppid=20722 vsize=11008352 memory=89253715398956 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20790/stat : 20790 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11272552448 61948 33554432000 4194304 4196468 140727492346016 140446906968416 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20791] ppid=20722 vsize=11008352 memory=8996927262957663786 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20791/stat : 20791 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316158 11272552448 61948 33554432000 4194304 4196468 140727492346016 140448443104304 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 247792 KiB
[startup+3.72015 s]
# the end of solver process 20725 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.38013 s, system=0.246729 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20088 s]
/proc/loadavg: 1.29 1.47 1.59 4/216 20791
/proc/meminfo: memFree=22542932/32770624 swapFree=67108860/67108860
[pid=20725] ppid=20722 vsize=11010400 memory=249640 CPUtime=6.34 cores=1,3,5,7
/proc/20725/stat : 20725 (java) S 20722 20725 6396 0 -1 1077944320 38439 12970 0 0 610 17 5 2 20 0 15 0 107316143 11274649600 62410 33554432000 4194304 4196468 140727492346016 140727492328560 140449022316279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
/proc/20725/statm: 2752600 62410 3494 1 0 2714253 0
[pid=20725/tid=20778] ppid=20722 vsize=11010400 memory=6791534058613427641 CPUtime=3.07 cores=1,3,5,7
/proc/20725/task/20778/stat : 20778 (java) R 20722 20725 6396 0 -1 4202560 26236 12970 0 0 291 9 5 2 20 0 15 0 107316152 11274649600 62410 33554432000 4194304 4196468 140727492346016 140448994145072 140449006396007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20779] ppid=20722 vsize=11010400 memory=1952 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20779/stat : 20779 (java) S 20722 20725 6396 0 -1 1077944384 33 12970 0 0 3 0 5 2 20 0 15 0 107316152 11274649600 62410 33554432000 4194304 4196468 140727492346016 140449026558480 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20780] ppid=20722 vsize=11010400 memory=1200 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20780/stat : 20780 (java) S 20722 20725 6396 0 -1 1077944384 69 12970 0 0 3 0 5 2 20 0 15 0 107316152 11274649600 62410 33554432000 4194304 4196468 140727492346016 140448562260624 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20781] ppid=20722 vsize=11010400 memory=8600 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20781/stat : 20781 (java) S 20722 20725 6396 0 -1 1077944384 38 12970 0 0 3 0 5 2 20 0 15 0 107316152 11274649600 62410 33554432000 4194304 4196468 140727492346016 140448561207568 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20782] ppid=20722 vsize=11010400 memory=4616 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20782/stat : 20782 (java) S 20722 20725 6396 0 -1 1077944384 233 12970 0 0 3 0 5 2 20 0 15 0 107316152 11274649600 62411 33554432000 4194304 4196468 140727492346016 140448560155024 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20783] ppid=20722 vsize=11010400 memory=1428 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20783/stat : 20783 (java) S 20722 20725 6396 0 -1 1077944384 1016 12970 0 0 3 0 5 2 20 0 15 0 107316154 11274649600 62411 33554432000 4194304 4196468 140727492346016 140448447314672 140449022327426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20784] ppid=20722 vsize=11010400 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20784/stat : 20784 (java) S 20722 20725 6396 0 -1 1077944384 14 12970 0 0 0 0 5 2 20 0 15 0 107316154 11274649600 62411 33554432000 4194304 4196468 140727492346016 140447846491872 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20785] ppid=20722 vsize=11010400 memory=16412 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20785/stat : 20785 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316154 11274649600 62411 33554432000 4194304 4196468 140727492346016 140447645164800 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20786] ppid=20722 vsize=11010400 memory=17440 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20786/stat : 20786 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11274649600 62411 33554432000 4194304 4196468 140727492346016 140447337765328 140449022334875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20787] ppid=20722 vsize=11010400 memory=4048 CPUtime=0.85 cores=1,3,5,7
/proc/20725/task/20787/stat : 20787 (java) R 20722 20725 6396 0 -1 1077944384 1838 12970 0 0 78 0 5 2 20 0 15 0 107316157 11274649600 62411 33554432000 4194304 4196468 140727492346016 140448446261488 140449022327426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20788] ppid=20722 vsize=11010400 memory=1796 CPUtime=1.17 cores=1,3,5,7
/proc/20725/task/20788/stat : 20788 (java) R 20722 20725 6396 0 -1 4202560 2511 12970 0 0 109 1 5 2 20 0 15 0 107316157 11274649600 62411 33554432000 4194304 4196468 140727492346016 140448445208944 140449002952291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20789] ppid=20722 vsize=11010400 memory=636 CPUtime=1.21 cores=1,3,5,7
/proc/20725/task/20789/stat : 20789 (java) R 20722 20725 6396 0 -1 4202560 4283 12970 0 0 112 2 5 2 20 0 15 0 107316157 11274649600 62411 33554432000 4194304 4196468 140727492346016 140448444155888 140449000684918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20790] ppid=20722 vsize=11010400 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20790/stat : 20790 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11274649600 62411 33554432000 4194304 4196468 140727492346016 140446906968416 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20791] ppid=20722 vsize=11010400 memory=186300 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20791/stat : 20791 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316158 11274649600 62411 33554432000 4194304 4196468 140727492346016 140448443104304 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 249640 KiB
[startup+3.60117 s]
/proc/loadavg: 1.29 1.47 1.59 4/216 20791
/proc/meminfo: memFree=22542932/32770624 swapFree=67108860/67108860
[pid=20725] ppid=20722 vsize=11077984 memory=303328 CPUtime=7.36 cores=1,3,5,7
/proc/20725/stat : 20725 (java) S 20722 20725 6396 0 -1 1077944320 61877 12970 0 0 709 20 5 2 20 0 15 0 107316143 11343855616 75832 33554432000 4194304 4196468 140727492346016 140727492328560 140449022316279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
/proc/20725/statm: 2769496 75832 3499 1 0 2731149 0
[pid=20725/tid=20778] ppid=20722 vsize=11077984 memory=7682744562830902035 CPUtime=3.47 cores=1,3,5,7
/proc/20725/task/20778/stat : 20778 (java) R 20722 20725 6396 0 -1 4202560 45156 12970 0 0 329 11 5 2 20 0 15 0 107316152 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448994148624 140449007481847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20779] ppid=20722 vsize=11077984 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20779/stat : 20779 (java) S 20722 20725 6396 0 -1 1077944384 33 12970 0 0 3 0 5 2 20 0 15 0 107316152 11343855616 75832 33554432000 4194304 4196468 140727492346016 140449026558480 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20780] ppid=20722 vsize=11077984 memory=7158868984126334311 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20780/stat : 20780 (java) S 20722 20725 6396 0 -1 1077944384 69 12970 0 0 3 0 5 2 20 0 15 0 107316152 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448562260624 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20781] ppid=20722 vsize=11077984 memory=7449896517875820901 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20781/stat : 20781 (java) S 20722 20725 6396 0 -1 1077944384 38 12970 0 0 3 0 5 2 20 0 15 0 107316152 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448561207568 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20782] ppid=20722 vsize=11077984 memory=7449896517875820901 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20782/stat : 20782 (java) S 20722 20725 6396 0 -1 1077944384 233 12970 0 0 3 0 5 2 20 0 15 0 107316152 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448560155024 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20783] ppid=20722 vsize=11077984 memory=7595436655807519076 CPUtime=0.1 cores=1,3,5,7
/proc/20725/task/20783/stat : 20783 (java) S 20722 20725 6396 0 -1 1077944384 1503 12970 0 0 3 0 5 2 20 0 15 0 107316154 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448447314672 140449022327426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20784] ppid=20722 vsize=11077984 memory=7594877004388981097 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20784/stat : 20784 (java) S 20722 20725 6396 0 -1 1077944384 14 12970 0 0 0 0 5 2 20 0 15 0 107316154 11343855616 75832 33554432000 4194304 4196468 140727492346016 140447846491872 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20785] ppid=20722 vsize=11077984 memory=281250967326288 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20785/stat : 20785 (java) S 20722 20725 6396 0 -1 1077944384 1 12970 0 0 0 0 5 2 20 0 15 0 107316154 11343855616 75832 33554432000 4194304 4196468 140727492346016 140447645164800 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20786] ppid=20722 vsize=11077984 memory=11379868602 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20786/stat : 20786 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11343855616 75832 33554432000 4194304 4196468 140727492346016 140447337765328 140449022334875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20787] ppid=20722 vsize=11077984 memory=7588711883580091793 CPUtime=0.97 cores=1,3,5,7
/proc/20725/task/20787/stat : 20787 (java) R 20722 20725 6396 0 -1 4202560 2322 12970 0 0 90 0 5 2 20 0 15 0 107316157 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448446248032 140449007423946 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20788] ppid=20722 vsize=11077984 memory=6296121684751574865 CPUtime=1.54 cores=1,3,5,7
/proc/20725/task/20788/stat : 20788 (java) R 20722 20725 6396 0 -1 4202560 5012 12970 0 0 146 1 5 2 20 0 15 0 107316157 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448445194968 140449007424034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20789] ppid=20722 vsize=11077984 memory=33 CPUtime=1.34 cores=1,3,5,7
/proc/20725/task/20789/stat : 20789 (java) S 20722 20725 6396 0 -1 1077944384 5294 12970 0 0 125 2 5 2 20 0 15 0 107316157 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448444155888 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20790] ppid=20722 vsize=11077984 memory=-7595718316223324558 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20790/stat : 20790 (java) S 20722 20725 6396 0 -1 1077944384 3 12970 0 0 0 0 5 2 20 0 15 0 107316157 11343855616 75832 33554432000 4194304 4196468 140727492346016 140446906968416 140449022326485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
[pid=20725/tid=20791] ppid=20722 vsize=11077984 memory=-7595761213668167008 CPUtime=0.07 cores=1,3,5,7
/proc/20725/task/20791/stat : 20791 (java) S 20722 20725 6396 0 -1 1077944384 6 12970 0 0 0 0 5 2 20 0 15 0 107316158 11343855616 75832 33554432000 4194304 4196468 140727492346016 140448443104304 140449022327426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17408000 140727492352625 140727492355425 140727492355425 140727492358095 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 303328 KiB
Child status: 0
Real time (s): 3.72018
CPU time (s): 7.62686
CPU user time (s): 7.38013
CPU system time (s): 0.246729
CPU usage (%): 205.013
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 303328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.38013
system time used= 0.246729
maximum resident set size= 308804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5960
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 20725
# total CPU time (s): 7.62686
# total CPU user time (s): 7.38013
# total CPU system time (s): 0.246729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052118 second user time and 0.067852 second system time
The end