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 (10486 MiB free)
memory of node 1: 16384 MiB (13668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302269-1532892903/watcher-4302269-1532892903 -o /tmp/evaluation-result-4302269-1532892903/solver-4302269-1532892903 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1949805822 HOME/instance-4302269-1532892903.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13745, runsolver pid=13738
[startup+0.100112 s]*
/proc/loadavg: 0.59 1.05 1.25 5/224 13830
/proc/meminfo: memFree=24704592/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=2588 memory=200 CPUtime=0.07 cores=0,2,4,6
/proc/13745/stat : 13745 (java) R 13738 13745 12183 0 -1 1077936128 1064 13145 1 1 0 0 5 2 20 0 1 0 106853573 2650112 46 33554432000 4194304 4196468 140720870242368 140720870239592 140383405102791 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 647 46 36 1 0 43 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 2588 KiB
Current children cumulated memory: 200 KiB
[startup+0.210392 s]*
/proc/loadavg: 0.59 1.05 1.25 4/219 13877
/proc/meminfo: memFree=24681776/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=10982744 memory=40324 CPUtime=0.23 cores=0,2,4,6
/proc/13745/stat : 13745 (java) S 13738 13745 12183 0 -1 1077944320 6801 13145 1 1 15 1 5 2 20 0 15 0 106853573 11246329856 10081 33554432000 4194304 4196468 140720870242368 140720870224912 140383402827511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 2745686 10081 2949 1 0 2708109 0
[pid=13745/tid=13851] ppid=13738 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 3367 13145 0 1 9 1 5 2 20 0 15 0 106853584 11246329856 10081 33554432000 4194304 4196468 140720870242368 140383374650744 140383383103206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13856] ppid=13738 vsize=10982744 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13856/stat : 13856 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246329856 10081 33554432000 4194304 4196468 140720870242368 140383407070224 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13857] ppid=13738 vsize=10982744 memory=288370385239090816 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13857/stat : 13857 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382942452880 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13858] ppid=13738 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13858/stat : 13858 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382941399824 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13859] ppid=13738 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13859/stat : 13859 (java) S 13738 13745 12183 0 -1 1077944384 2 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382940347280 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13861] ppid=13738 vsize=10982744 memory=140009087379072 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13861/stat : 13861 (java) S 13738 13745 12183 0 -1 1077944384 2 13145 0 1 0 0 5 2 20 0 15 0 106853586 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382573906160 140383402838658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13863] ppid=13738 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13863/stat : 13863 (java) S 13738 13745 12183 0 -1 1077944384 13 13145 0 1 0 0 5 2 20 0 15 0 106853587 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382281131168 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13865] ppid=13738 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13865/stat : 13865 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853587 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382079804144 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13870] ppid=13738 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13870/stat : 13870 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246329856 10081 33554432000 4194304 4196468 140720870242368 140381772404688 140383402846107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13871] ppid=13738 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13745/task/13871/stat : 13871 (java) S 13738 13745 12183 0 -1 1077944384 484 13145 0 1 1 0 5 2 20 0 15 0 106853590 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382572854000 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13872] ppid=13738 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13872/stat : 13872 (java) S 13738 13745 12183 0 -1 1077944384 128 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382571801456 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13873] ppid=13738 vsize=10982744 memory=140009087379072 CPUtime=0.1 cores=0,2,4,6
/proc/13745/task/13873/stat : 13873 (java) S 13738 13745 12183 0 -1 1077944384 605 13145 0 1 3 0 5 2 20 0 15 0 106853590 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382570748400 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13875] ppid=13738 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13875/stat : 13875 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246329856 10081 33554432000 4194304 4196468 140720870242368 140381341608800 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13877] ppid=13738 vsize=10982744 memory=140009087379072 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13877/stat : 13877 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246329856 10081 33554432000 4194304 4196468 140720870242368 140382569695792 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 40324 KiB
[startup+0.310532 s]*
/proc/loadavg: 0.59 1.05 1.25 6/219 13877
/proc/meminfo: memFree=24654612/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=10983192 memory=53872 CPUtime=0.35 cores=0,2,4,6
/proc/13745/stat : 13745 (java) S 13738 13745 12183 0 -1 1077944320 10014 13145 1 1 26 2 5 2 20 0 15 0 106853573 11246788608 13468 33554432000 4194304 4196468 140720870242368 140720870224912 140383402827511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 2745798 13468 3068 1 0 2708109 0
[pid=13745/tid=13851] ppid=13738 vsize=10983192 memory=576461178948550685 CPUtime=0.26 cores=0,2,4,6
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 6565 13145 0 1 18 1 5 2 20 0 15 0 106853584 11246788608 13468 33554432000 4194304 4196468 140720870242368 140383374639520 140383383103298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13856] ppid=13738 vsize=10983192 memory=303148791291445271 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13856/stat : 13856 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246788608 13468 33554432000 4194304 4196468 140720870242368 140383407070224 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13857] ppid=13738 vsize=10983192 memory=15400346674210456 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13857/stat : 13857 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382942452880 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13858] ppid=13738 vsize=10983192 memory=8110268427993965958 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13858/stat : 13858 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382941399824 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13859] ppid=13738 vsize=10983192 memory=3472328296225127011 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13859/stat : 13859 (java) S 13738 13745 12183 0 -1 1077944384 2 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382940347280 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13861] ppid=13738 vsize=10983192 memory=3472468305312506088 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13861/stat : 13861 (java) S 13738 13745 12183 0 -1 1077944384 2 13145 0 1 0 0 5 2 20 0 15 0 106853586 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382573906160 140383402838658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13863] ppid=13738 vsize=10983192 memory=3472328296227680303 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13863/stat : 13863 (java) S 13738 13745 12183 0 -1 1077944384 13 13145 0 1 0 0 5 2 20 0 15 0 106853587 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382281131168 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13865] ppid=13738 vsize=10983192 memory=-8312670058677691234 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13865/stat : 13865 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853587 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382079804144 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13870] ppid=13738 vsize=10983192 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13870/stat : 13870 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246788608 13468 33554432000 4194304 4196468 140720870242368 140381772404688 140383402846107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13871] ppid=13738 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13745/task/13871/stat : 13871 (java) S 13738 13745 12183 0 -1 1077944384 486 13145 0 1 1 0 5 2 20 0 15 0 106853590 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382572854000 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13872] ppid=13738 vsize=10983192 memory=8313491497846792056 CPUtime=0.08 cores=0,2,4,6
/proc/13745/task/13872/stat : 13872 (java) S 13738 13745 12183 0 -1 1077944384 131 13145 0 1 1 0 5 2 20 0 15 0 106853590 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382571801456 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13873] ppid=13738 vsize=10983192 memory=140009087379072 CPUtime=0.11 cores=0,2,4,6
/proc/13745/task/13873/stat : 13873 (java) S 13738 13745 12183 0 -1 1077944384 612 13145 0 1 4 0 5 2 20 0 15 0 106853590 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382570748400 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13875] ppid=13738 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13875/stat : 13875 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246788608 13468 33554432000 4194304 4196468 140720870242368 140381341608800 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13877] ppid=13738 vsize=10983192 memory=140009087379072 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13877/stat : 13877 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246788608 13468 33554432000 4194304 4196468 140720870242368 140382569695792 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53872 KiB
[startup+0.700816 s]
/proc/loadavg: 0.59 1.05 1.25 5/219 13877
/proc/meminfo: memFree=24628824/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=10983192 memory=88644 CPUtime=0.97 cores=0,2,4,6
/proc/13745/stat : 13745 (java) S 13738 13745 12183 0 -1 1077944320 16694 13145 1 1 86 4 5 2 20 0 15 0 106853573 11246788608 22161 33554432000 4194304 4196468 140720870242368 140720870224912 140383402827511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 2745798 22161 3247 1 0 2708109 0
[pid=13745/tid=13851] ppid=13738 vsize=10983192 memory=152 CPUtime=0.64 cores=0,2,4,6
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 12113 13145 0 1 54 3 5 2 20 0 15 0 106853584 11246788608 22161 33554432000 4194304 4196468 140720870242368 140383374658752 140383389043492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13856] ppid=13738 vsize=10983192 memory=298 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13856/stat : 13856 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246788608 22161 33554432000 4194304 4196468 140720870242368 140383407070224 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13857] ppid=13738 vsize=10983192 memory=190 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13857/stat : 13857 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382942452880 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13858] ppid=13738 vsize=10983192 memory=1039 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13858/stat : 13858 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382941399824 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13859] ppid=13738 vsize=10983192 memory=3757 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13859/stat : 13859 (java) S 13738 13745 12183 0 -1 1077944384 2 13145 0 1 0 0 5 2 20 0 15 0 106853585 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382940347280 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13861] ppid=13738 vsize=10983192 memory=251 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13861/stat : 13861 (java) S 13738 13745 12183 0 -1 1077944384 5 13145 0 1 0 0 5 2 20 0 15 0 106853586 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382573906160 140383402838658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13863] ppid=13738 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13863/stat : 13863 (java) S 13738 13745 12183 0 -1 1077944384 13 13145 0 1 0 0 5 2 20 0 15 0 106853587 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382281131168 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13865] ppid=13738 vsize=10983192 memory=6935649255827990097 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13865/stat : 13865 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853587 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382079804144 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13870] ppid=13738 vsize=10983192 memory=5795117241467496816 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13870/stat : 13870 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246788608 22161 33554432000 4194304 4196468 140720870242368 140381772404688 140383402846107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13871] ppid=13738 vsize=10983192 memory=4638778398332764256 CPUtime=0.17 cores=0,2,4,6
/proc/13745/task/13871/stat : 13871 (java) S 13738 13745 12183 0 -1 1077944384 1137 13145 0 1 10 0 5 2 20 0 15 0 106853590 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382572854000 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13872] ppid=13738 vsize=10983192 memory=-7242455096852575424 CPUtime=0.13 cores=0,2,4,6
/proc/13745/task/13872/stat : 13872 (java) S 13738 13745 12183 0 -1 1077944384 538 13145 0 1 6 0 5 2 20 0 15 0 106853590 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382571801456 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13873] ppid=13738 vsize=10983192 memory=3054156605267021953 CPUtime=0.2 cores=0,2,4,6
/proc/13745/task/13873/stat : 13873 (java) S 13738 13745 12183 0 -1 1077944384 683 13145 0 1 13 0 5 2 20 0 15 0 106853590 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382570748400 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13875] ppid=13738 vsize=10983192 memory=6944656591801717918 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13875/stat : 13875 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246788608 22161 33554432000 4194304 4196468 140720870242368 140381341608800 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13877] ppid=13738 vsize=10983192 memory=17468 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13877/stat : 13877 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853590 11246788608 22161 33554432000 4194304 4196468 140720870242368 140382569695792 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88644 KiB
[startup+1.5011 s]
/proc/loadavg: 0.59 1.05 1.25 4/219 13877
/proc/meminfo: memFree=24555200/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=10993996 memory=154888 CPUtime=2.8 cores=0,2,4,6
/proc/13745/stat : 13745 (java) S 13738 13745 12183 0 -1 1077944320 25672 13145 1 1 265 8 5 2 20 0 15 0 106853573 11257851904 38722 33554432000 4194304 4196468 140720870242368 140720870224912 140383402827511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 2748499 38722 3444 1 0 2710157 0
[pid=13745/tid=13851] ppid=13738 vsize=10993996 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 16383 13145 0 1 122 6 5 2 20 0 15 0 106853584 11257851904 38722 33554432000 4194304 4196468 140720870242368 140383374651728 140383386014302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13856] ppid=13738 vsize=10993996 memory=3905244519888846890 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13856/stat : 13856 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11257851904 38722 33554432000 4194304 4196468 140720870242368 140383407070224 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13857] ppid=13738 vsize=10993996 memory=7014195213978461286 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13857/stat : 13857 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382942452880 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13858] ppid=13738 vsize=10993996 memory=7956005031678667109 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13858/stat : 13858 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853585 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382941399824 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13859] ppid=13738 vsize=10993996 memory=7014198529743217766 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13859/stat : 13859 (java) S 13738 13745 12183 0 -1 1077944384 2 13145 0 1 0 0 5 2 20 0 15 0 106853585 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382940347280 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13861] ppid=13738 vsize=10993996 memory=7446813392799094368 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13861/stat : 13861 (java) S 13738 13745 12183 0 -1 1077944384 13 13145 0 1 0 0 5 2 20 0 15 0 106853586 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382573906160 140383402838658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13863] ppid=13738 vsize=10993996 memory=7517497615061396884 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13863/stat : 13863 (java) S 13738 13745 12183 0 -1 1077944384 13 13145 0 1 0 0 5 2 20 0 15 0 106853587 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382281131168 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13865] ppid=13738 vsize=10993996 memory=11353642195 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13865/stat : 13865 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853587 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382079804144 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13870] ppid=13738 vsize=10993996 memory=280017909317592 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13870/stat : 13870 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11257851904 38722 33554432000 4194304 4196468 140720870242368 140381772404688 140383402846107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13871] ppid=13738 vsize=10993996 memory=280017909577072 CPUtime=0.59 cores=0,2,4,6
/proc/13745/task/13871/stat : 13871 (java) R 13738 13745 12183 0 -1 4202560 2989 13145 0 1 52 0 5 2 20 0 15 0 106853590 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382572853176 140383387709077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13872] ppid=13738 vsize=10993996 memory=6655300316396806240 CPUtime=0.51 cores=0,2,4,6
/proc/13745/task/13872/stat : 13872 (java) R 13738 13745 12183 0 -1 4202560 2320 13145 0 1 44 0 5 2 20 0 15 0 106853590 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382571787480 140383387746502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13873] ppid=13738 vsize=10993996 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/13745/task/13873/stat : 13873 (java) S 13738 13745 12183 0 -1 1077944384 1749 13145 0 1 45 0 5 2 20 0 15 0 106853590 11257851904 38722 33554432000 4194304 4196468 140720870242368 140382570748400 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13875] ppid=13738 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13875/stat : 13875 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11257851904 38783 33554432000 4194304 4196468 140720870242368 140381341608800 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13877] ppid=13738 vsize=10993996 memory=14431090117230 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13877/stat : 13877 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853590 11257851904 38783 33554432000 4194304 4196468 140720870242368 140382569695792 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 154888 KiB
[startup+3.11061 s]
/proc/loadavg: 0.78 1.08 1.26 8/219 13877
/proc/meminfo: memFree=24293060/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=11006304 memory=239104 CPUtime=6.42 cores=0,2,4,6
/proc/13745/stat : 13745 (java) S 13738 13745 12183 0 -1 1077944320 38646 13145 1 1 621 14 5 2 20 0 15 0 106853573 11270455296 59776 33554432000 4194304 4196468 140720870242368 140720870224912 140383402827511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 2751576 59776 3494 1 0 2713229 0
[pid=13745/tid=13851] ppid=13738 vsize=11006304 memory=2241 CPUtime=2.91 cores=0,2,4,6
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 25087 13145 0 1 276 8 5 2 20 0 15 0 106853584 11270455296 59776 33554432000 4194304 4196468 140720870242368 140383374643024 140383402839446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
################
# More data... #
################
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 53752 13145 0 1 16088 27 5 2 20 0 15 0 106853584 11348049920 332417 33554432000 4194304 4196468 140720870242368 140383374661856 140382991196736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13856] ppid=13738 vsize=11082080 memory=1329668 CPUtime=0.61 cores=0,2,4,6
/proc/13745/task/13856/stat : 13856 (java) S 13738 13745 12183 0 -1 1077944384 3627 13145 0 1 43 11 5 2 20 0 15 0 106853585 11348049920 332417 33554432000 4194304 4196468 140720870242368 140383407070224 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13857] ppid=13738 vsize=11082080 memory=1329668 CPUtime=0.61 cores=0,2,4,6
/proc/13745/task/13857/stat : 13857 (java) S 13738 13745 12183 0 -1 1077944384 2721 13145 0 1 44 10 5 2 20 0 15 0 106853585 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382942452880 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13858] ppid=13738 vsize=11082080 memory=1329668 CPUtime=0.62 cores=0,2,4,6
/proc/13745/task/13858/stat : 13858 (java) S 13738 13745 12183 0 -1 1077944384 2295 13145 0 1 45 10 5 2 20 0 15 0 106853585 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382941399824 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13859] ppid=13738 vsize=11082080 memory=1329668 CPUtime=0.61 cores=0,2,4,6
/proc/13745/task/13859/stat : 13859 (java) S 13738 13745 12183 0 -1 1077944384 1880 13145 0 1 43 11 5 2 20 0 15 0 106853585 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382940347280 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13861] ppid=13738 vsize=11082080 memory=1329668 CPUtime=0.34 cores=0,2,4,6
/proc/13745/task/13861/stat : 13861 (java) S 13738 13745 12183 0 -1 1077944384 4863 13145 0 1 25 2 5 2 20 0 15 0 106853586 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382573906160 140383402838658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13863] ppid=13738 vsize=11082080 memory=1329668 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13863/stat : 13863 (java) S 13738 13745 12183 0 -1 1077944384 20 13145 0 1 0 0 5 2 20 0 15 0 106853587 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382281131232 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13865] ppid=13738 vsize=11082080 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13865/stat : 13865 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853587 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382079804160 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13870] ppid=13738 vsize=11082080 memory=30608 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13870/stat : 13870 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11348049920 332417 33554432000 4194304 4196468 140720870242368 140381772404688 140383402846107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13871] ppid=13738 vsize=11082080 memory=4140 CPUtime=9.58 cores=0,2,4,6
/proc/13745/task/13871/stat : 13871 (java) S 13738 13745 12183 0 -1 1077944384 21110 13145 0 1 947 4 5 2 20 0 15 0 106853590 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382572854000 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13872] ppid=13738 vsize=11082080 memory=30608 CPUtime=9.87 cores=0,2,4,6
/proc/13745/task/13872/stat : 13872 (java) S 13738 13745 12183 0 -1 1077944384 25850 13145 0 1 974 6 5 2 20 0 15 0 106853590 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382571801456 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13873] ppid=13738 vsize=11082080 memory=1296 CPUtime=4.11 cores=0,2,4,6
/proc/13745/task/13873/stat : 13873 (java) S 13738 13745 12183 0 -1 1077944384 23868 13145 0 1 398 6 5 2 20 0 15 0 106853590 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382570748400 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13875] ppid=13738 vsize=11082080 memory=1329668 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13875/stat : 13875 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11348049920 332417 33554432000 4194304 4196468 140720870242368 140381341608800 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13877] ppid=13738 vsize=11082080 memory=1329668 CPUtime=0.15 cores=0,2,4,6
/proc/13745/task/13877/stat : 13877 (java) S 13738 13745 12183 0 -1 1077944384 443 13145 0 1 4 4 5 2 20 0 15 0 106853590 11348049920 332417 33554432000 4194304 4196468 140720870242368 140382569695792 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
Current children cumulated CPU time: 187.19 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1329668 KiB
[startup+222.301 s]
/proc/loadavg: 1.53 1.39 1.35 4/219 13880
/proc/meminfo: memFree=22510268/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=11082080 memory=1289512 CPUtime=248.04 cores=0,2,4,6
/proc/13745/stat : 13745 (java) S 13738 13745 12183 0 -1 1077944320 154641 13145 1 1 24696 101 5 2 20 0 15 0 106853573 11348049920 322378 33554432000 4194304 4196468 140720870242368 140720870224912 140383402827511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 2770520 322378 3531 1 0 2732173 0
[pid=13745/tid=13851] ppid=13738 vsize=11082080 memory=1293616 CPUtime=220.62 cores=0,2,4,6
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 55199 13145 0 1 22027 28 5 2 20 0 15 0 106853584 11348049920 322378 33554432000 4194304 4196468 140720870242368 140383374662656 140382990773645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13856] ppid=13738 vsize=11082080 memory=1291048 CPUtime=0.89 cores=0,2,4,6
/proc/13745/task/13856/stat : 13856 (java) S 13738 13745 12183 0 -1 1077944384 5378 13145 0 1 70 12 5 2 20 0 15 0 106853585 11348049920 322378 33554432000 4194304 4196468 140720870242368 140383407070224 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13857] ppid=13738 vsize=11082080 memory=1289512 CPUtime=0.89 cores=0,2,4,6
/proc/13745/task/13857/stat : 13857 (java) S 13738 13745 12183 0 -1 1077944384 2871 13145 0 1 70 12 5 2 20 0 15 0 106853585 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382942452880 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13858] ppid=13738 vsize=11082080 memory=1293616 CPUtime=0.9 cores=0,2,4,6
/proc/13745/task/13858/stat : 13858 (java) S 13738 13745 12183 0 -1 1077944384 2492 13145 0 1 71 12 5 2 20 0 15 0 106853585 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382941399824 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13859] ppid=13738 vsize=11082080 memory=1290536 CPUtime=0.89 cores=0,2,4,6
/proc/13745/task/13859/stat : 13859 (java) S 13738 13745 12183 0 -1 1077944384 1934 13145 0 1 69 13 5 2 20 0 15 0 106853585 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382940347280 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13861] ppid=13738 vsize=11082080 memory=1293616 CPUtime=0.58 cores=0,2,4,6
/proc/13745/task/13861/stat : 13861 (java) S 13738 13745 12183 0 -1 1077944384 5237 13145 0 1 47 4 5 2 20 0 15 0 106853586 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382573906160 140383402838658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13863] ppid=13738 vsize=11082080 memory=1290536 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13863/stat : 13863 (java) S 13738 13745 12183 0 -1 1077944384 20 13145 0 1 0 0 5 2 20 0 15 0 106853587 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382281131232 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13865] ppid=13738 vsize=11082080 memory=1290536 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13865/stat : 13865 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853587 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382079804160 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13870] ppid=13738 vsize=11082080 memory=1291564 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13870/stat : 13870 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11348049920 322378 33554432000 4194304 4196468 140720870242368 140381772404688 140383402846107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13871] ppid=13738 vsize=11082080 memory=4140 CPUtime=9.62 cores=0,2,4,6
/proc/13745/task/13871/stat : 13871 (java) S 13738 13745 12183 0 -1 1077944384 24235 13145 0 1 950 5 5 2 20 0 15 0 106853590 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382572854000 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13872] ppid=13738 vsize=11082080 memory=1292076 CPUtime=9.88 cores=0,2,4,6
/proc/13745/task/13872/stat : 13872 (java) S 13738 13745 12183 0 -1 1077944384 28252 13145 0 1 975 6 5 2 20 0 15 0 106853590 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382571801456 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13873] ppid=13738 vsize=11082080 memory=1292076 CPUtime=4.12 cores=0,2,4,6
/proc/13745/task/13873/stat : 13873 (java) S 13738 13745 12183 0 -1 1077944384 26350 13145 0 1 399 6 5 2 20 0 15 0 106853590 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382570748400 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13875] ppid=13738 vsize=11082080 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13875/stat : 13875 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11348049920 322378 33554432000 4194304 4196468 140720870242368 140381341608800 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13877] ppid=13738 vsize=11082080 memory=15876 CPUtime=0.18 cores=0,2,4,6
/proc/13745/task/13877/stat : 13877 (java) S 13738 13745 12183 0 -1 1077944384 474 13145 0 1 5 6 5 2 20 0 15 0 106853590 11348049920 322378 33554432000 4194304 4196468 140720870242368 140382569695792 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
Current children cumulated CPU time: 248.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1289512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+226.301 s]
/proc/loadavg: 1.57 1.40 1.36 4/219 13880
/proc/meminfo: memFree=22512244/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=11082080 memory=1287460 CPUtime=252.1 cores=0,2,4,6
/proc/13745/stat : 13745 (java) S 13738 13745 12183 0 -1 1077944320 155088 13145 1 1 25102 101 5 2 20 0 15 0 106853573 11348049920 321865 33554432000 4194304 4196468 140720870242368 140720870224912 140383402827511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 2770520 321865 3531 1 0 2732173 0
[pid=13745/tid=13851] ppid=13738 vsize=11082080 memory=1287460 CPUtime=224.59 cores=0,2,4,6
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 55224 13145 0 1 22424 28 5 2 20 0 15 0 106853584 11348049920 321865 33554432000 4194304 4196468 140720870242368 140383374661552 140382975128790 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13856] ppid=13738 vsize=11082080 memory=1287460 CPUtime=0.91 cores=0,2,4,6
/proc/13745/task/13856/stat : 13856 (java) S 13738 13745 12183 0 -1 1077944384 5379 13145 0 1 72 12 5 2 20 0 15 0 106853585 11348049920 321865 33554432000 4194304 4196468 140720870242368 140383407070224 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13857] ppid=13738 vsize=11082080 memory=1287460 CPUtime=0.91 cores=0,2,4,6
/proc/13745/task/13857/stat : 13857 (java) S 13738 13745 12183 0 -1 1077944384 2872 13145 0 1 72 12 5 2 20 0 15 0 106853585 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382942452880 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13858] ppid=13738 vsize=11082080 memory=1291048 CPUtime=0.92 cores=0,2,4,6
/proc/13745/task/13858/stat : 13858 (java) S 13738 13745 12183 0 -1 1077944384 2494 13145 0 1 73 12 5 2 20 0 15 0 106853585 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382941399824 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13859] ppid=13738 vsize=11082080 memory=1288996 CPUtime=0.9 cores=0,2,4,6
/proc/13745/task/13859/stat : 13859 (java) S 13738 13745 12183 0 -1 1077944384 1937 13145 0 1 70 13 5 2 20 0 15 0 106853585 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382940347280 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13861] ppid=13738 vsize=11082080 memory=1287460 CPUtime=0.59 cores=0,2,4,6
/proc/13745/task/13861/stat : 13861 (java) S 13738 13745 12183 0 -1 1077944384 5238 13145 0 1 48 4 5 2 20 0 15 0 106853586 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382573906160 140383402838658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13863] ppid=13738 vsize=11082080 memory=1287460 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13863/stat : 13863 (java) S 13738 13745 12183 0 -1 1077944384 20 13145 0 1 0 0 5 2 20 0 15 0 106853587 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382281131232 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13865] ppid=13738 vsize=11082080 memory=1289512 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13865/stat : 13865 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853587 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382079804160 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13870] ppid=13738 vsize=11082080 memory=1290024 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13870/stat : 13870 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140381772404688 140383402846107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13871] ppid=13738 vsize=11082080 memory=1287460 CPUtime=9.62 cores=0,2,4,6
/proc/13745/task/13871/stat : 13871 (java) S 13738 13745 12183 0 -1 1077944384 24649 13145 0 1 950 5 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382572854000 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13872] ppid=13738 vsize=11082080 memory=15876 CPUtime=9.88 cores=0,2,4,6
/proc/13745/task/13872/stat : 13872 (java) S 13738 13745 12183 0 -1 1077944384 28252 13145 0 1 975 6 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382571801456 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13873] ppid=13738 vsize=11082080 memory=1287460 CPUtime=4.12 cores=0,2,4,6
/proc/13745/task/13873/stat : 13873 (java) S 13738 13745 12183 0 -1 1077944384 26350 13145 0 1 399 6 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382570748400 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13875] ppid=13738 vsize=11082080 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13875/stat : 13875 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140381341608800 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13877] ppid=13738 vsize=11082080 memory=1292076 CPUtime=0.19 cores=0,2,4,6
/proc/13745/task/13877/stat : 13877 (java) S 13738 13745 12183 0 -1 1077944384 474 13145 0 1 5 7 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382569695792 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1287460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+226.347 s]
# the end of solver process 13745 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.111 s, system=1.07 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+226.301 s]
/proc/loadavg: 1.57 1.40 1.36 4/219 13880
/proc/meminfo: memFree=22512244/32770624 swapFree=67108860/67108860
[pid=13745] ppid=13738 vsize=11082080 memory=1287460 CPUtime=252.1 cores=0,2,4,6
/proc/13745/stat : 13745 (java) S 13738 13745 12183 0 -1 1077944320 155088 13145 1 1 25102 101 5 2 20 0 15 0 106853573 11348049920 321865 33554432000 4194304 4196468 140720870242368 140720870224912 140383402827511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
/proc/13745/statm: 2770520 321865 3531 1 0 2732173 0
[pid=13745/tid=13851] ppid=13738 vsize=11082080 memory=1287460 CPUtime=224.59 cores=0,2,4,6
/proc/13745/task/13851/stat : 13851 (java) R 13738 13745 12183 0 -1 4202560 55224 13145 0 1 22424 28 5 2 20 0 15 0 106853584 11348049920 321865 33554432000 4194304 4196468 140720870242368 140383374661552 140382975128790 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13856] ppid=13738 vsize=11082080 memory=1287460 CPUtime=0.91 cores=0,2,4,6
/proc/13745/task/13856/stat : 13856 (java) S 13738 13745 12183 0 -1 1077944384 5379 13145 0 1 72 12 5 2 20 0 15 0 106853585 11348049920 321865 33554432000 4194304 4196468 140720870242368 140383407070224 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13857] ppid=13738 vsize=11082080 memory=1287460 CPUtime=0.91 cores=0,2,4,6
/proc/13745/task/13857/stat : 13857 (java) S 13738 13745 12183 0 -1 1077944384 2872 13145 0 1 72 12 5 2 20 0 15 0 106853585 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382942452880 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13858] ppid=13738 vsize=11082080 memory=1291048 CPUtime=0.92 cores=0,2,4,6
/proc/13745/task/13858/stat : 13858 (java) S 13738 13745 12183 0 -1 1077944384 2494 13145 0 1 73 12 5 2 20 0 15 0 106853585 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382941399824 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13859] ppid=13738 vsize=11082080 memory=1288996 CPUtime=0.9 cores=0,2,4,6
/proc/13745/task/13859/stat : 13859 (java) S 13738 13745 12183 0 -1 1077944384 1937 13145 0 1 70 13 5 2 20 0 15 0 106853585 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382940347280 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13861] ppid=13738 vsize=11082080 memory=1287460 CPUtime=0.59 cores=0,2,4,6
/proc/13745/task/13861/stat : 13861 (java) S 13738 13745 12183 0 -1 1077944384 5238 13145 0 1 48 4 5 2 20 0 15 0 106853586 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382573906160 140383402838658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13863] ppid=13738 vsize=11082080 memory=1287460 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13863/stat : 13863 (java) S 13738 13745 12183 0 -1 1077944384 20 13145 0 1 0 0 5 2 20 0 15 0 106853587 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382281131232 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13865] ppid=13738 vsize=11082080 memory=1289512 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13865/stat : 13865 (java) S 13738 13745 12183 0 -1 1077944384 1 13145 0 1 0 0 5 2 20 0 15 0 106853587 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382079804160 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13870] ppid=13738 vsize=11082080 memory=1290024 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13870/stat : 13870 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140381772404688 140383402846107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13871] ppid=13738 vsize=11082080 memory=1287460 CPUtime=9.62 cores=0,2,4,6
/proc/13745/task/13871/stat : 13871 (java) S 13738 13745 12183 0 -1 1077944384 24649 13145 0 1 950 5 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382572854000 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13872] ppid=13738 vsize=11082080 memory=15876 CPUtime=9.88 cores=0,2,4,6
/proc/13745/task/13872/stat : 13872 (java) S 13738 13745 12183 0 -1 1077944384 28252 13145 0 1 975 6 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382571801456 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13873] ppid=13738 vsize=11082080 memory=1287460 CPUtime=4.12 cores=0,2,4,6
/proc/13745/task/13873/stat : 13873 (java) S 13738 13745 12183 0 -1 1077944384 26350 13145 0 1 399 6 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382570748400 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13875] ppid=13738 vsize=11082080 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/13745/task/13875/stat : 13875 (java) S 13738 13745 12183 0 -1 1077944384 3 13145 0 1 0 0 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140381341608800 140383402837717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
[pid=13745/tid=13877] ppid=13738 vsize=11082080 memory=1292076 CPUtime=0.19 cores=0,2,4,6
/proc/13745/task/13877/stat : 13877 (java) S 13738 13745 12183 0 -1 1077944384 474 13145 0 1 5 7 5 2 20 0 15 0 106853590 11348049920 321865 33554432000 4194304 4196468 140720870242368 140382569695792 140383402838658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16658432 140720870247025 140720870249825 140720870249825 140720870252495 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1287460 KiB
Child status: 143
Real time (s): 226.347
CPU time (s): 252.181
CPU user time (s): 251.111
CPU system time (s): 1.07
CPU usage (%): 111.414
Max. virtual memory (cumulated for all children) (KiB): 11082668
Max. memory (cumulated for all children) (KiB): 1510072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.111
system time used= 1.07
maximum resident set size= 1510072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170979
page faults= 2
swaps= 0
block input operations= 32
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27769
involuntary context switches= 672
# summary of solver processes directly reported to runsolver:
# pid: 13745
# total CPU time (s): 252.181
# total CPU user time (s): 251.111
# total CPU system time (s): 1.07
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38498 second user time and 2.24474 second system time
The end