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 (14869 MiB free)
memory of node 1: 16384 MiB (15642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273841-1502764968/watcher-4273841-1502764968 -o /tmp/evaluation-result-4273841-1502764968/solver-4273841-1502764968 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1298432071 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273841-1502764968.xml
running on 4 cores: 1,3,5,7
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=10520, runsolver pid=10517
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 1.55 1.45 1.37 3/203 10529
/proc/meminfo: memFree=31235780/32770624 swapFree=67108860/67108860
[pid=10520] ppid=10517 vsize=13573664 memory=19148 CPUtime=0.02 cores=1,3,5,7
/proc/10520/stat : 10520 (java) S 10517 10520 2357 0 -1 1077944320 4191 0 0 0 2 0 0 0 20 0 9 0 4111925 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140727612546704 140393993195255 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
/proc/10520/statm: 3393416 4787 2101 1 0 3382913 0
[pid=10520/tid=10522] ppid=10517 vsize=13573664 memory=-6439968830534014599 CPUtime=0.02 cores=1,3,5,7
/proc/10520/task/10522/stat : 10522 (java) R 10517 10520 2357 0 -1 4202560 2819 0 0 0 2 0 0 0 20 0 9 0 4111932 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140393997431304 140393975608896 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10523] ppid=10517 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10523/stat : 10523 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 4111933 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140393593441424 140393993205461 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10524] ppid=10517 vsize=13573664 memory=140043737052800 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10524/stat : 10524 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 4111933 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140393592388624 140393993205461 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10525] ppid=10517 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10525/stat : 10525 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 4111933 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140393591335824 140393993205461 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10526] ppid=10517 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10526/stat : 10526 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 4111933 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140393590283024 140393993205461 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10527] ppid=10517 vsize=13573664 memory=140043737052800 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10527/stat : 10527 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 4111934 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140393472522608 140393993206402 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10528] ppid=10517 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10528/stat : 10528 (java) S 10517 10520 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 4111934 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140393471468576 140393993205461 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10529] ppid=10517 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10529/stat : 10529 (java) S 10517 10520 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 4111935 13899431936 4787 18446744073709551615 4194304 4196468 140727612564160 140393470415792 140393993205461 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 19148 KiB
[startup+0.212027 s]*
/proc/loadavg: 1.55 1.45 1.37 5/209 10535
/proc/meminfo: memFree=31220820/32770624 swapFree=67108860/67108860
[pid=10520] ppid=10517 vsize=13975920 memory=33912 CPUtime=0.14 cores=1,3,5,7
/proc/10520/stat : 10520 (java) S 10517 10520 2357 0 -1 1077944320 9476 0 0 0 11 3 0 0 20 0 15 0 4111925 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140727612546704 140393993195255 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
/proc/10520/statm: 3493980 8478 3386 1 0 3482759 0
[pid=10520/tid=10522] ppid=10517 vsize=13975920 memory=7077796292425249400 CPUtime=0.1 cores=1,3,5,7
/proc/10520/task/10522/stat : 10522 (java) R 10517 10520 2357 0 -1 4202560 7421 0 0 0 8 2 0 0 20 0 15 0 4111932 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393997392640 140393977275742 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10523] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10523/stat : 10523 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393593441424 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10524] ppid=10517 vsize=13975920 memory=140043737052800 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10524/stat : 10524 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393592388624 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10525] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10525/stat : 10525 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393591335824 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10526] ppid=10517 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10526/stat : 10526 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393590283024 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10527] ppid=10517 vsize=13975920 memory=140043737052800 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10527/stat : 10527 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111934 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393472522608 140393993206402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10528] ppid=10517 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10528/stat : 10528 (java) S 10517 10520 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4111934 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393471468576 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10529] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10529/stat : 10529 (java) S 10517 10520 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4111935 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393470415728 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10530] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10530/stat : 10530 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393469364048 140393993213851 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10531] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10531/stat : 10531 (java) S 10517 10520 2357 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 4111937 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393468312432 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10532] ppid=10517 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10532/stat : 10532 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393467259632 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10533] ppid=10517 vsize=13975920 memory=140043737052800 CPUtime=0.02 cores=1,3,5,7
/proc/10520/task/10533/stat : 10533 (java) S 10517 10520 2357 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 4111937 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393466206832 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10534] ppid=10517 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10534/stat : 10534 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393465154272 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10535] ppid=10517 vsize=13975920 memory=140043737052800 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10535/stat : 10535 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111941 14311342080 8478 18446744073709551615 4194304 4196468 140727612564160 140393464101552 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 33912 KiB
[startup+0.310513 s]*
/proc/loadavg: 1.55 1.45 1.37 4/209 10535
/proc/meminfo: memFree=31214616/32770624 swapFree=67108860/67108860
[pid=10520] ppid=10517 vsize=13975920 memory=43056 CPUtime=0.3 cores=1,3,5,7
/proc/10520/stat : 10520 (java) S 10517 10520 2357 0 -1 1077944320 10989 0 0 0 26 4 0 0 20 0 15 0 4111925 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140727612546704 140393993195255 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
/proc/10520/statm: 3493980 10764 3567 1 0 3482759 0
[pid=10520/tid=10522] ppid=10517 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/10520/task/10522/stat : 10522 (java) R 10517 10520 2357 0 -1 4202560 8547 0 0 0 16 3 0 0 20 0 15 0 4111932 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393997411232 140393993217181 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10523] ppid=10517 vsize=13975920 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10523/stat : 10523 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393593441424 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10524] ppid=10517 vsize=13975920 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10524/stat : 10524 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393592388624 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10525] ppid=10517 vsize=13975920 memory=-8187100386482147110 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10525/stat : 10525 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393591335824 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10526] ppid=10517 vsize=13975920 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10526/stat : 10526 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393590283024 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10527] ppid=10517 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10527/stat : 10527 (java) S 10517 10520 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4111934 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393472522608 140393993206402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10528] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10528/stat : 10528 (java) S 10517 10520 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4111934 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393471468576 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10529] ppid=10517 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10529/stat : 10529 (java) S 10517 10520 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4111935 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393470415728 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10530] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10530/stat : 10530 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393469364048 140393993213851 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10531] ppid=10517 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10520/task/10531/stat : 10531 (java) S 10517 10520 2357 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 15 0 4111937 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393468312432 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10532] ppid=10517 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10520/task/10532/stat : 10532 (java) R 10517 10520 2357 0 -1 4202560 198 0 0 0 1 0 0 0 20 0 15 0 4111937 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393467259632 140393985436645 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10533] ppid=10517 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10520/task/10533/stat : 10533 (java) S 10517 10520 2357 0 -1 1077944384 438 0 0 0 5 0 0 0 20 0 15 0 4111937 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393466206832 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10534] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10534/stat : 10534 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393465154272 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10535] ppid=10517 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10535/stat : 10535 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111941 14311342080 10764 18446744073709551615 4194304 4196468 140727612564160 140393464101552 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43056 KiB
[startup+0.700669 s]
/proc/loadavg: 1.55 1.45 1.37 3/209 10535
/proc/meminfo: memFree=31201244/32770624 swapFree=67108860/67108860
[pid=10520] ppid=10517 vsize=13977988 memory=66952 CPUtime=1.08 cores=1,3,5,7
/proc/10520/stat : 10520 (java) S 10517 10520 2357 0 -1 1077944320 13949 0 0 0 102 6 0 0 20 0 15 0 4111925 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140727612546704 140393993195255 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
/proc/10520/statm: 3494497 16738 3727 1 0 3483271 0
[pid=10520/tid=10522] ppid=10517 vsize=13977988 memory=2540204721921 CPUtime=0.57 cores=1,3,5,7
/proc/10520/task/10522/stat : 10522 (java) R 10517 10520 2357 0 -1 4202560 10457 0 0 0 53 4 0 0 20 0 15 0 4111932 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393997429600 140393993217181 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10523] ppid=10517 vsize=13977988 memory=2561679558401 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10523/stat : 10523 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393593441424 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10524] ppid=10517 vsize=13977988 memory=2570269492993 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10524/stat : 10524 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393592388624 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10525] ppid=10517 vsize=13977988 memory=448874192 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10525/stat : 10525 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393591335824 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10526] ppid=10517 vsize=13977988 memory=-8556738499077758064 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10526/stat : 10526 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393590283024 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10527] ppid=10517 vsize=13977988 memory=7956285308106002773 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10527/stat : 10527 (java) S 10517 10520 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4111934 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393472522608 140393993206402 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10528] ppid=10517 vsize=13977988 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10528/stat : 10528 (java) S 10517 10520 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4111934 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393471468576 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10529] ppid=10517 vsize=13977988 memory=280087165693664 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10529/stat : 10529 (java) S 10517 10520 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4111935 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393470415728 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10530] ppid=10517 vsize=13977988 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10530/stat : 10530 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393469364048 140393993213851 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10531] ppid=10517 vsize=13977988 memory=13572582809011720 CPUtime=0.12 cores=1,3,5,7
/proc/10520/task/10531/stat : 10531 (java) S 10517 10520 2357 0 -1 1077944384 797 0 0 0 12 0 0 0 20 0 15 0 4111937 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393468312432 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10532] ppid=10517 vsize=13977988 memory=8676 CPUtime=0.1 cores=1,3,5,7
/proc/10520/task/10532/stat : 10532 (java) S 10517 10520 2357 0 -1 1077944384 471 0 0 0 10 0 0 0 20 0 15 0 4111937 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393467259632 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10533] ppid=10517 vsize=13977988 memory=1200 CPUtime=0.24 cores=1,3,5,7
/proc/10520/task/10533/stat : 10533 (java) S 10517 10520 2357 0 -1 1077944384 841 0 0 0 24 0 0 0 20 0 15 0 4111937 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393466206832 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10534] ppid=10517 vsize=13977988 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10534/stat : 10534 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393465154272 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10535] ppid=10517 vsize=13977988 memory=4016 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10535/stat : 10535 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111941 14313459712 16738 18446744073709551615 4194304 4196468 140727612564160 140393464101552 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66952 KiB
[startup+1.13725 s]
# the end of solver process 10520 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.94319 s, system=0.107548 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.804455 s]
/proc/loadavg: 1.55 1.45 1.37 3/209 10535
/proc/meminfo: memFree=31201244/32770624 swapFree=67108860/67108860
[pid=10520] ppid=10517 vsize=13980036 memory=75616 CPUtime=1.27 cores=1,3,5,7
/proc/10520/stat : 10520 (java) S 10517 10520 2357 0 -1 1077944320 14565 0 0 0 120 7 0 0 20 0 15 0 4111925 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140727612546704 140393993195255 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
/proc/10520/statm: 3495009 18904 3743 1 0 3483783 0
[pid=10520/tid=10522] ppid=10517 vsize=13980036 memory=-8033973737701895300 CPUtime=0.68 cores=1,3,5,7
/proc/10520/task/10522/stat : 10522 (java) R 10517 10520 2357 0 -1 4202560 10849 0 0 0 63 5 0 0 20 0 15 0 4111932 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393997432208 140393973382367 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10523] ppid=10517 vsize=13980036 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10523/stat : 10523 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393593441424 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10524] ppid=10517 vsize=13980036 memory=6933690330692294553 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10524/stat : 10524 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393592388624 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10525] ppid=10517 vsize=13980036 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10525/stat : 10525 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393591335824 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10526] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10526/stat : 10526 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393590283024 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10527] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10527/stat : 10527 (java) S 10517 10520 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4111934 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393472522608 140393993206402 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10528] ppid=10517 vsize=13980036 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10528/stat : 10528 (java) S 10517 10520 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4111934 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393471468576 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10529] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10529/stat : 10529 (java) S 10517 10520 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4111935 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393470415728 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10530] ppid=10517 vsize=13980036 memory=15113417090407464 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10530/stat : 10530 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393469364048 140393993213851 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10531] ppid=10517 vsize=13980036 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/10520/task/10531/stat : 10531 (java) S 10517 10520 2357 0 -1 1077944384 870 0 0 0 15 0 0 0 20 0 15 0 4111937 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393468312432 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10532] ppid=10517 vsize=13980036 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/10520/task/10532/stat : 10532 (java) S 10517 10520 2357 0 -1 1077944384 483 0 0 0 11 0 0 0 20 0 15 0 4111937 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393467259632 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10533] ppid=10517 vsize=13980036 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/10520/task/10533/stat : 10533 (java) R 10517 10520 2357 0 -1 4202560 980 0 0 0 29 0 0 0 20 0 15 0 4111937 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393466203768 140393972152375 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10534] ppid=10517 vsize=13980036 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10534/stat : 10534 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393465154272 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10535] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10535/stat : 10535 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111941 14315556864 18904 18446744073709551615 4194304 4196468 140727612564160 140393464101552 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 75616 KiB
[startup+1.00145 s]*
/proc/loadavg: 1.55 1.45 1.37 5/209 10535
/proc/meminfo: memFree=31156644/32770624 swapFree=67108860/67108860
[pid=10520] ppid=10517 vsize=13980036 memory=106956 CPUtime=1.69 cores=1,3,5,7
/proc/10520/stat : 10520 (java) S 10517 10520 2357 0 -1 1077944320 20845 0 0 0 160 9 0 0 20 0 15 0 4111925 14315556864 26673 18446744073709551615 4194304 4196468 140727612564160 140727612546704 140393993195255 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
/proc/10520/statm: 3495009 26673 3749 1 0 3483783 0
[pid=10520/tid=10522] ppid=10517 vsize=13980036 memory=-8774313645642428999 CPUtime=0.87 cores=1,3,5,7
/proc/10520/task/10522/stat : 10522 (java) R 10517 10520 2357 0 -1 4202560 13104 0 0 0 81 6 0 0 20 0 15 0 4111932 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393997427624 140393635031133 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10523] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10523/stat : 10523 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393593441424 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10524] ppid=10517 vsize=13980036 memory=11204 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10524/stat : 10524 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393592388624 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10525] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10525/stat : 10525 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393591335824 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10526] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10526/stat : 10526 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393590283024 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10527] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10527/stat : 10527 (java) S 10517 10520 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4111934 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393472522608 140393993206402 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10528] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10528/stat : 10528 (java) S 10517 10520 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4111934 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393471468576 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10529] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10529/stat : 10529 (java) S 10517 10520 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4111935 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393470415728 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10530] ppid=10517 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10530/stat : 10530 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393469364048 140393993213851 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10531] ppid=10517 vsize=13980036 memory=-6421031960926448530 CPUtime=0.2 cores=1,3,5,7
/proc/10520/task/10531/stat : 10531 (java) R 10517 10520 2357 0 -1 4202560 1691 0 0 0 20 0 0 0 20 0 15 0 4111937 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393468298456 140393985484637 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10532] ppid=10517 vsize=13980036 memory=6944656592455360604 CPUtime=0.15 cores=1,3,5,7
/proc/10520/task/10532/stat : 10532 (java) R 10517 10520 2357 0 -1 4202560 1159 0 0 0 15 0 0 0 20 0 15 0 4111937 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393467243384 140393985432382 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10533] ppid=10517 vsize=13980036 memory=6655300316396806240 CPUtime=0.43 cores=1,3,5,7
/proc/10520/task/10533/stat : 10533 (java) R 10517 10520 2357 0 -1 4202560 3526 0 0 0 42 1 0 0 20 0 15 0 4111937 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393466201192 140393972136702 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10534] ppid=10517 vsize=13980036 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10534/stat : 10534 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393465154272 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10535] ppid=10517 vsize=13980036 memory=6944656425122700657 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10535/stat : 10535 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111941 14315556864 26739 18446744073709551615 4194304 4196468 140727612564160 140393464101552 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 106956 KiB
[startup+1.10989 s]
/proc/loadavg: 1.55 1.45 1.37 5/209 10535
/proc/meminfo: memFree=31156644/32770624 swapFree=67108860/67108860
[pid=10520] ppid=10517 vsize=13982084 memory=117756 CPUtime=1.99 cores=1,3,5,7
/proc/10520/stat : 10520 (java) S 10517 10520 2357 0 -1 1077944320 23493 0 0 0 189 10 0 0 20 0 15 0 4111925 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140727612546704 140393993195255 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
/proc/10520/statm: 3495521 29439 3749 1 0 3484295 0
[pid=10520/tid=10522] ppid=10517 vsize=13982084 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/10520/task/10522/stat : 10522 (java) R 10517 10520 2357 0 -1 4202560 13635 0 0 0 91 6 0 0 20 0 15 0 4111932 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393997430224 140393641061764 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10523] ppid=10517 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10523/stat : 10523 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393593441424 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10524] ppid=10517 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10524/stat : 10524 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393592388624 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10525] ppid=10517 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10525/stat : 10525 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111933 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393591335824 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10526] ppid=10517 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10526/stat : 10526 (java) S 10517 10520 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4111933 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393590283024 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10527] ppid=10517 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10527/stat : 10527 (java) S 10517 10520 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4111934 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393472522608 140393993206402 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10528] ppid=10517 vsize=13982084 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10528/stat : 10528 (java) S 10517 10520 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4111934 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393471468576 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10529] ppid=10517 vsize=13982084 memory=66952 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10529/stat : 10529 (java) S 10517 10520 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4111935 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393470415728 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10530] ppid=10517 vsize=13982084 memory=2540204721921 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10530/stat : 10530 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393469364048 140393993213851 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10531] ppid=10517 vsize=13982084 memory=2561679558401 CPUtime=0.26 cores=1,3,5,7
/proc/10520/task/10531/stat : 10531 (java) R 10517 10520 2357 0 -1 4202560 2065 0 0 0 26 0 0 0 20 0 15 0 4111937 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393468300912 140393985484704 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10532] ppid=10517 vsize=13982084 memory=2570269492993 CPUtime=0.2 cores=1,3,5,7
/proc/10520/task/10532/stat : 10532 (java) R 10517 10520 2357 0 -1 4202560 1610 0 0 0 20 0 0 0 20 0 15 0 4111937 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393467259632 140393970419408 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10533] ppid=10517 vsize=13982084 memory=280087165675616 CPUtime=0.51 cores=1,3,5,7
/proc/10520/task/10533/stat : 10533 (java) R 10517 10520 2357 0 -1 1077944384 4800 0 0 0 50 1 0 0 20 0 15 0 4111937 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393466206832 140393993206402 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10534] ppid=10517 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10534/stat : 10534 (java) S 10517 10520 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4111937 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393465154272 140393993205461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
[pid=10520/tid=10535] ppid=10517 vsize=13982084 memory=140045461897249 CPUtime=0 cores=1,3,5,7
/proc/10520/task/10535/stat : 10535 (java) S 10517 10520 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4111941 14317654016 29439 18446744073709551615 4194304 4196468 140727612564160 140393464101552 140393993206402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140727612572017 140727612572204 140727612572204 140727612575695 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 117756 KiB
Child status: 0
Real time (s): 1.13729
CPU time (s): 2.05073
CPU user time (s): 1.94319
CPU system time (s): 0.107548
CPU usage (%): 180.317
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 117756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.94319
system time used= 0.107548
maximum resident set size= 120648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2836
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 10520
# total CPU time (s): 2.05073
# total CPU user time (s): 1.94319
# total CPU system time (s): 0.107548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035136 second user time and 0.048749 second system time
The end