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 (15227 MiB free)
memory of node 1: 16384 MiB (15271 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273204-1502688921/watcher-4273204-1502688921 -o /tmp/evaluation-result-4273204-1502688921/solver-4273204-1502688921 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4849 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 164072466 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273204-1502688921.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8860, runsolver pid=8857
Current StackSize limit: 8192 KiB
[startup+0.102831 s]*
/proc/loadavg: 1.81 1.67 1.62 3/210 8869
/proc/meminfo: memFree=31222460/32770624 swapFree=67108776/67108860
[pid=8860] ppid=8857 vsize=13573664 memory=20060 CPUtime=0.04 cores=0,2,4,6
/proc/8860/stat : 8860 (java) S 8857 8860 7084 0 -1 1077944320 4409 0 0 0 3 1 0 0 20 0 9 0 168544786 13899431936 5015 18446744073709551615 4194304 4196468 140730408440496 140730408423040 140667436760823 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
/proc/8860/statm: 3393416 5015 2149 1 0 3382913 0
[pid=8860/tid=8862] ppid=8857 vsize=13573664 memory=7668954370464627011 CPUtime=0.03 cores=0,2,4,6
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 3042 0 0 0 3 0 0 0 20 0 9 0 168544792 13899431936 5015 18446744073709551615 4194304 4196468 140730408440496 140667440996216 140667422508880 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13573664 memory=4342489072520795233 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 168544792 13899431936 5015 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13574692 memory=139797851235968 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 168544792 13900484608 5015 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13574692 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 168544792 13900484608 5015 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13574692 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 168544792 13900484608 5015 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13574692 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 168544794 13900484608 5015 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13574692 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 10 0 168544794 13900484608 5015 18446744073709551615 4194304 4196468 140730408440496 140666554279456 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13640228 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 10 0 168544794 13967593472 5015 18446744073709551615 4194304 4196468 140730408440496 140666553226608 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13641256 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 11 0 168544797 13968646144 5018 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13706792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) R 8857 8860 7084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 11 0 168544797 14035755008 5018 18446744073709551615 4194304 4196468 140730408440496 140666551122264 140667416034784 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 20060 KiB
[startup+0.210269 s]*
/proc/loadavg: 1.81 1.67 1.62 3/216 8875
/proc/meminfo: memFree=31208360/32770624 swapFree=67108776/67108860
[pid=8860] ppid=8857 vsize=13975920 memory=34860 CPUtime=0.15 cores=0,2,4,6
/proc/8860/stat : 8860 (java) S 8857 8860 7084 0 -1 1077944320 9818 0 0 0 13 2 0 0 20 0 15 0 168544786 14311342080 8715 18446744073709551615 4194304 4196468 140730408440496 140730408423040 140667436760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
/proc/8860/statm: 3493980 8715 3511 1 0 3482759 0
[pid=8860/tid=8862] ppid=8857 vsize=13975920 memory=8316850467074736180 CPUtime=0.11 cores=0,2,4,6
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 7626 0 0 0 9 2 0 0 20 0 15 0 168544792 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140667440967504 140667436782749 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13975920 memory=8333 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544792 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13975920 memory=139797851245018 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544792 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544792 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544792 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13975920 memory=139797851235968 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544794 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 168544794 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666554279456 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 168544794 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666553226608 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) R 8857 8860 7084 0 -1 4202560 333 0 0 0 0 0 0 0 20 0 15 0 168544797 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666551122288 140667417942394 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8872] ppid=8857 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8872/stat : 8872 (java) R 8857 8860 7084 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 168544797 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666550069488 140667436771970 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8873] ppid=8857 vsize=13975920 memory=139797851235968 CPUtime=0.02 cores=0,2,4,6
/proc/8860/task/8873/stat : 8873 (java) S 8857 8860 7084 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 168544797 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666549016688 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8874] ppid=8857 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8874/stat : 8874 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666547964128 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8875] ppid=8857 vsize=13975920 memory=139797851235968 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8875/stat : 8875 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544801 14311342080 8781 18446744073709551615 4194304 4196468 140730408440496 140666546912432 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 34860 KiB
[startup+0.310788 s]*
/proc/loadavg: 1.81 1.67 1.62 3/216 8875
/proc/meminfo: memFree=31202184/32770624 swapFree=67108776/67108860
[pid=8860] ppid=8857 vsize=13975920 memory=43252 CPUtime=0.32 cores=0,2,4,6
/proc/8860/stat : 8860 (java) S 8857 8860 7084 0 -1 1077944320 11080 0 0 0 28 4 0 0 20 0 15 0 168544786 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140730408423040 140667436760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
/proc/8860/statm: 3493980 10813 3575 1 0 3482759 0
[pid=8860/tid=8862] ppid=8857 vsize=13975920 memory=7668954370464627011 CPUtime=0.21 cores=0,2,4,6
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 8635 0 0 0 18 3 0 0 20 0 15 0 168544792 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140667440969936 140667420841310 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544792 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544792 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544792 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544792 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 168544794 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 168544794 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666554279456 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 168544794 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666553226608 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) S 8857 8860 7084 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 15 0 168544797 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666551122288 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8872] ppid=8857 vsize=13975920 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8860/task/8872/stat : 8872 (java) S 8857 8860 7084 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 15 0 168544797 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666550069488 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8873] ppid=8857 vsize=13975920 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8860/task/8873/stat : 8873 (java) R 8857 8860 7084 0 -1 4202560 431 0 0 0 5 0 0 0 20 0 15 0 168544797 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666549016688 140667436772758 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8874] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8874/stat : 8874 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666547964128 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8875] ppid=8857 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8875/stat : 8875 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544801 14311342080 10813 18446744073709551615 4194304 4196468 140730408440496 140666546912432 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43252 KiB
[startup+0.700745 s]
/proc/loadavg: 1.81 1.67 1.62 3/216 8875
/proc/meminfo: memFree=31189640/32770624 swapFree=67108776/67108860
[pid=8860] ppid=8857 vsize=13977988 memory=66576 CPUtime=1.04 cores=0,2,4,6
/proc/8860/stat : 8860 (java) S 8857 8860 7084 0 -1 1077944320 13892 0 0 0 99 5 0 0 20 0 15 0 168544786 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140730408423040 140667436760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
/proc/8860/statm: 3494497 16644 3736 1 0 3483271 0
[pid=8860/tid=8862] ppid=8857 vsize=13977988 memory=33 CPUtime=0.58 cores=0,2,4,6
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 10463 0 0 0 54 4 0 0 20 0 15 0 168544792 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140667440995632 140667420841310 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13977988 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544792 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13977988 memory=5768 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544792 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13977988 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544792 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13977988 memory=11376 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544792 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13977988 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 168544794 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13977988 memory=4600 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 168544794 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666554279456 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13977988 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 168544794 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666553226608 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13977988 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13977988 memory=16444 CPUtime=0.09 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) S 8857 8860 7084 0 -1 1077944384 708 0 0 0 9 0 0 0 20 0 15 0 168544797 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666551122288 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8872] ppid=8857 vsize=13977988 memory=7668954370464627011 CPUtime=0.12 cores=0,2,4,6
/proc/8860/task/8872/stat : 8872 (java) S 8857 8860 7084 0 -1 1077944384 541 0 0 0 12 0 0 0 20 0 15 0 168544797 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666550069488 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8873] ppid=8857 vsize=13977988 memory=4126316290023845779 CPUtime=0.22 cores=0,2,4,6
/proc/8860/task/8873/stat : 8873 (java) R 8857 8860 7084 0 -1 4202560 801 0 0 0 22 0 0 0 20 0 15 0 168544797 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666549016688 140667429857659 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8874] ppid=8857 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8874/stat : 8874 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666547964128 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8875] ppid=8857 vsize=13977988 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8875/stat : 8875 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544801 14313459712 16644 18446744073709551615 4194304 4196468 140730408440496 140666546912432 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66576 KiB
[startup+1.50078 s]
/proc/loadavg: 1.81 1.67 1.62 3/201 8891
/proc/meminfo: memFree=31321080/32770624 swapFree=67108776/67108860
[pid=8860] ppid=8857 vsize=13982084 memory=129788 CPUtime=3.21 cores=0,2,4,6
/proc/8860/stat : 8860 (java) S 8857 8860 7084 0 -1 1077944320 29376 0 0 0 312 9 0 0 20 0 15 0 168544786 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140730408423040 140667436760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
/proc/8860/statm: 3495521 32447 3764 1 0 3484295 0
[pid=8860/tid=8862] ppid=8857 vsize=13982084 memory=6370436825102260395 CPUtime=1.36 cores=0,2,4,6
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 14174 0 0 0 130 6 0 0 20 0 15 0 168544792 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140667440998776 140667047348515 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13982084 memory=279595391913088 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544792 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13982084 memory=5793710944852131432 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544792 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13982084 memory=5793710944852131432 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 168544792 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13982084 memory=5793710944852131432 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 168544792 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13982084 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140666554279456 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13982084 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140666553226608 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13982084 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13982084 memory=5768 CPUtime=0.62 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) R 8857 8860 7084 0 -1 4202560 4315 0 0 0 62 0 0 0 20 0 15 0 168544797 14317654016 32447 18446744073709551615 4194304 4196468 140730408440496 140666551103304 140667421157216 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
################
# More data... #
################
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 24291 0 0 0 243955 10 0 0 20 0 15 0 168544792 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140667440999248 140667047820940 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13982084 memory=196004 CPUtime=0.85 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 2882 0 0 0 76 9 0 0 20 0 15 0 168544792 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13982084 memory=196004 CPUtime=0.85 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 3311 0 0 0 77 8 0 0 20 0 15 0 168544792 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13982084 memory=196004 CPUtime=0.85 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2780 0 0 0 77 8 0 0 20 0 15 0 168544792 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13982084 memory=196004 CPUtime=0.84 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 2873 0 0 0 76 8 0 0 20 0 15 0 168544792 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13982084 memory=196004 CPUtime=1.05 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 5567 0 0 0 96 9 0 0 20 0 15 0 168544794 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13982084 memory=196004 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666554279520 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13982084 memory=196004 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666553226624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13982084 memory=196004 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13982084 memory=196004 CPUtime=1.1 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) S 8857 8860 7084 0 -1 1077944384 8606 0 0 0 109 1 0 0 20 0 15 0 168544797 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666551122288 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8872] ppid=8857 vsize=13982084 memory=196004 CPUtime=1.22 cores=0,2,4,6
/proc/8860/task/8872/stat : 8872 (java) S 8857 8860 7084 0 -1 1077944384 6625 0 0 0 121 1 0 0 20 0 15 0 168544797 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666550069488 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8873] ppid=8857 vsize=13982084 memory=196004 CPUtime=0.61 cores=0,2,4,6
/proc/8860/task/8873/stat : 8873 (java) S 8857 8860 7084 0 -1 1077944384 7578 0 0 0 60 1 0 0 20 0 15 0 168544797 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666549016688 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8874] ppid=8857 vsize=13982084 memory=196004 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8874/stat : 8874 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666547964128 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8875] ppid=8857 vsize=13982084 memory=1224 CPUtime=0.65 cores=0,2,4,6
/proc/8860/task/8875/stat : 8875 (java) S 8857 8860 7084 0 -1 1077944384 1596 0 0 0 24 41 0 0 20 0 15 0 168544801 14317654016 49001 18446744073709551615 4194304 4196468 140730408440496 140666546912432 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
Current children cumulated CPU time: 2447.77 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 196004 KiB
[startup+2502.3 s]
/proc/loadavg: 1.48 1.53 1.56 3/218 9133
/proc/meminfo: memFree=31020176/32770624 swapFree=67108776/67108860
[pid=8860] ppid=8857 vsize=13982084 memory=198052 CPUtime=2507.85 cores=0,2,4,6
/proc/8860/stat : 8860 (java) S 8857 8860 7084 0 -1 1077944320 68265 0 0 0 250715 70 0 0 20 0 15 0 168544786 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140730408423040 140667436760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
/proc/8860/statm: 3495521 49513 3798 1 0 3484295 0
[pid=8860/tid=8862] ppid=8857 vsize=13982084 memory=4600 CPUtime=2499.58 cores=0,2,4,6
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 24626 0 0 0 249948 10 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667440999056 140667048245727 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.87 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 2926 0 0 0 78 9 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13982084 memory=196004 CPUtime=0.87 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 3354 0 0 0 79 8 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13982084 memory=110 CPUtime=0.86 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2791 0 0 0 78 8 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13982084 memory=196004 CPUtime=0.87 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 2934 0 0 0 79 8 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13982084 memory=196004 CPUtime=1.08 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 5744 0 0 0 99 9 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13982084 memory=198052 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666554279520 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13982084 memory=198052 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666553226624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13982084 memory=196004 CPUtime=1.1 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) S 8857 8860 7084 0 -1 1077944384 8608 0 0 0 109 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666551122288 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8872] ppid=8857 vsize=13982084 memory=71712 CPUtime=1.22 cores=0,2,4,6
/proc/8860/task/8872/stat : 8872 (java) S 8857 8860 7084 0 -1 1077944384 6627 0 0 0 121 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666550069488 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8873] ppid=8857 vsize=13982084 memory=1296 CPUtime=0.61 cores=0,2,4,6
/proc/8860/task/8873/stat : 8873 (java) S 8857 8860 7084 0 -1 1077944384 7580 0 0 0 60 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666549016688 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8874] ppid=8857 vsize=13982084 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8874/stat : 8874 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666547964128 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8875] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.66 cores=0,2,4,6
/proc/8860/task/8875/stat : 8875 (java) S 8857 8860 7084 0 -1 1077944384 1614 0 0 0 24 42 0 0 20 0 15 0 168544801 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666546912432 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
Current children cumulated CPU time: 2507.85 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 198052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.5 s]
/proc/loadavg: 1.49 1.53 1.56 3/215 9133
/proc/meminfo: memFree=31023324/32770624 swapFree=67108776/67108860
[pid=8860] ppid=8857 vsize=13982084 memory=198052 CPUtime=2520.06 cores=0,2,4,6
/proc/8860/stat : 8860 (java) S 8857 8860 7084 0 -1 1077944320 68286 0 0 0 251936 70 0 0 20 0 15 0 168544786 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140730408423040 140667436760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
/proc/8860/statm: 3495521 49513 3798 1 0 3484295 0
[pid=8860/tid=8862] ppid=8857 vsize=13982084 memory=198052 CPUtime=2511.76 cores=0,2,4,6
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 24636 0 0 0 251166 10 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667440999120 140667047680509 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.88 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 2926 0 0 0 79 9 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.87 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 3354 0 0 0 79 8 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.88 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2795 0 0 0 79 9 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.87 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 2935 0 0 0 79 8 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13982084 memory=196004 CPUtime=1.09 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 5748 0 0 0 100 9 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13982084 memory=198052 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666554279520 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666553226624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13982084 memory=198052 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13982084 memory=198052 CPUtime=1.1 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) S 8857 8860 7084 0 -1 1077944384 8608 0 0 0 109 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666551122288 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8872] ppid=8857 vsize=13982084 memory=4156 CPUtime=1.22 cores=0,2,4,6
/proc/8860/task/8872/stat : 8872 (java) S 8857 8860 7084 0 -1 1077944384 6627 0 0 0 121 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666550069488 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8873] ppid=8857 vsize=13982084 memory=71712 CPUtime=0.61 cores=0,2,4,6
/proc/8860/task/8873/stat : 8873 (java) S 8857 8860 7084 0 -1 1077944384 7580 0 0 0 60 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666549016688 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8874] ppid=8857 vsize=13982084 memory=198052 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8874/stat : 8874 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666547964128 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8875] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.66 cores=0,2,4,6
/proc/8860/task/8875/stat : 8875 (java) S 8857 8860 7084 0 -1 1077944384 1616 0 0 0 24 42 0 0 20 0 15 0 168544801 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666546912432 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 198052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.51 s]
# the end of solver process 8860 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.38 s, system=0.707405 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.5 s]
/proc/loadavg: 1.49 1.53 1.56 3/215 9133
/proc/meminfo: memFree=31023324/32770624 swapFree=67108776/67108860
[pid=8860] ppid=8857 vsize=13982084 memory=198052 CPUtime=2520.06 cores=0,2,4,6
/proc/8860/stat : 8860 (java) S 8857 8860 7084 0 -1 1077944320 68286 0 0 0 251936 70 0 0 20 0 15 0 168544786 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140730408423040 140667436760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 5 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
/proc/8860/statm: 3495521 49513 3798 1 0 3484295 0
[pid=8860/tid=8862] ppid=8857 vsize=13982084 memory=198052 CPUtime=2511.76 cores=0,2,4,6
/proc/8860/task/8862/stat : 8862 (java) R 8857 8860 7084 0 -1 4202560 24636 0 0 0 251166 10 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667440999120 140667047680509 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8863] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.88 cores=0,2,4,6
/proc/8860/task/8863/stat : 8863 (java) S 8857 8860 7084 0 -1 1077944384 2926 0 0 0 79 9 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667371195024 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8864] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.87 cores=0,2,4,6
/proc/8860/task/8864/stat : 8864 (java) S 8857 8860 7084 0 -1 1077944384 3354 0 0 0 79 8 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667370142224 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8865] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.88 cores=0,2,4,6
/proc/8860/task/8865/stat : 8865 (java) S 8857 8860 7084 0 -1 1077944384 2795 0 0 0 79 9 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667369089424 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8866] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.87 cores=0,2,4,6
/proc/8860/task/8866/stat : 8866 (java) S 8857 8860 7084 0 -1 1077944384 2935 0 0 0 79 8 0 0 20 0 15 0 168544792 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140667368036624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8867] ppid=8857 vsize=13982084 memory=196004 CPUtime=1.09 cores=0,2,4,6
/proc/8860/task/8867/stat : 8867 (java) S 8857 8860 7084 0 -1 1077944384 5748 0 0 0 100 9 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666622856048 140667436771970 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8868] ppid=8857 vsize=13982084 memory=198052 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8868/stat : 8868 (java) S 8857 8860 7084 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666554279520 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8869] ppid=8857 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8869/stat : 8869 (java) S 8857 8860 7084 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 168544794 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666553226624 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8870] ppid=8857 vsize=13982084 memory=198052 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8870/stat : 8870 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666552174928 140667436779419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8871] ppid=8857 vsize=13982084 memory=198052 CPUtime=1.1 cores=0,2,4,6
/proc/8860/task/8871/stat : 8871 (java) S 8857 8860 7084 0 -1 1077944384 8608 0 0 0 109 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666551122288 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8872] ppid=8857 vsize=13982084 memory=4156 CPUtime=1.22 cores=0,2,4,6
/proc/8860/task/8872/stat : 8872 (java) S 8857 8860 7084 0 -1 1077944384 6627 0 0 0 121 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666550069488 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8873] ppid=8857 vsize=13982084 memory=71712 CPUtime=0.61 cores=0,2,4,6
/proc/8860/task/8873/stat : 8873 (java) S 8857 8860 7084 0 -1 1077944384 7580 0 0 0 60 1 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666549016688 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8874] ppid=8857 vsize=13982084 memory=198052 CPUtime=0 cores=0,2,4,6
/proc/8860/task/8874/stat : 8874 (java) S 8857 8860 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 168544797 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666547964128 140667436771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
[pid=8860/tid=8875] ppid=8857 vsize=13982084 memory=198052 CPUtime=0.66 cores=0,2,4,6
/proc/8860/task/8875/stat : 8875 (java) S 8857 8860 7084 0 -1 1077944384 1616 0 0 0 24 42 0 0 20 0 15 0 168544801 14317654016 49513 18446744073709551615 4194304 4196468 140730408440496 140666546912432 140667436771970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38113280 140730408448373 140730408448553 140730408448553 140730408452047 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 198052 KiB
Child status: 143
Real time (s): 2514.51
CPU time (s): 2520.08
CPU user time (s): 2519.38
CPU system time (s): 0.707405
CPU usage (%): 100.222
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 223536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.38
system time used= 0.707405
maximum resident set size= 224544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86075
involuntary context switches= 5121
# summary of solver processes directly reported to runsolver:
# pid: 8860
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.38
# total CPU system time (s): 0.707405
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8664 second user time and 23.0984 second system time
The end