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 (10980 MiB free)
memory of node 1: 16384 MiB (13016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308607-1534331839/watcher-4308607-1534331839 -o /tmp/evaluation-result-4308607-1534331839/solver-4308607-1534331839 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534329358-5565 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1506288726 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308607-1534331839.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
Current StackSize limit: 8192 KiB
solver pid=6102, runsolver pid=6099
[startup+0.10559 s]*
/proc/loadavg: 1.39 1.42 1.46 5/219 6117
/proc/meminfo: memFree=24543364/32770624 swapFree=67108856/67108860
[pid=6102] ppid=6099 vsize=14082736 memory=33956 CPUtime=0.13 cores=1,3,5,7
/proc/6102/stat : 6102 (java) S 6099 6102 5533 0 -1 1077944320 7410 0 0 0 12 1 0 0 20 0 15 0 250747116 14420721664 8489 33554432000 4194304 4196468 140735127308880 140735127291424 140609117863671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
/proc/6102/statm: 3520684 8489 3138 1 0 3482761 0
[pid=6102/tid=6104] ppid=6099 vsize=14082736 memory=-8536671460286887104 CPUtime=0.09 cores=1,3,5,7
/proc/6102/task/6104/stat : 6104 (java) R 6099 6102 5533 0 -1 4202560 5480 0 0 0 9 0 0 0 20 0 15 0 250747117 14420721664 8489 33554432000 4194304 4196468 140735127308880 140609122083624 140609117875606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6105] ppid=6099 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6105/stat : 6105 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 8489 33554432000 4194304 4196468 140735127308880 140609047951760 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6106] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6106/stat : 6106 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 8489 33554432000 4194304 4196468 140735127308880 140609046898960 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6107] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6107/stat : 6107 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 8489 33554432000 4194304 4196468 140735127308880 140609045846672 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6108] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6108/stat : 6108 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 8489 33554432000 4194304 4196468 140735127308880 140609044793872 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6109] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6109/stat : 6109 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608231414384 140609117874818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6110] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6110/stat : 6110 (java) S 6099 6102 5533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608230360352 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6111] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6111/stat : 6111 (java) S 6099 6102 5533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608229308016 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6112] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6112/stat : 6112 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608228256336 140609117882267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6113] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6113/stat : 6113 (java) S 6099 6102 5533 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608227203184 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6114] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6114/stat : 6114 (java) S 6099 6102 5533 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608226150384 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6115] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0.01 cores=1,3,5,7
/proc/6102/task/6115/stat : 6115 (java) R 6099 6102 5533 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 15 0 250747122 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608225098096 140609117885018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6116] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6116/stat : 6116 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608224045536 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6117] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6117/stat : 6117 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 8489 33554432000 4194304 4196468 140735127308880 140608222993328 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33956 KiB
[startup+0.217608 s]*
/proc/loadavg: 1.39 1.42 1.46 6/219 6117
/proc/meminfo: memFree=24522804/32770624 swapFree=67108856/67108860
[pid=6102] ppid=6099 vsize=14082736 memory=47376 CPUtime=0.33 cores=1,3,5,7
/proc/6102/stat : 6102 (java) S 6099 6102 5533 0 -1 1077944320 10455 0 0 0 31 2 0 0 20 0 15 0 250747116 14420721664 11844 33554432000 4194304 4196468 140735127308880 140735127291424 140609117863671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
/proc/6102/statm: 3520684 11844 3366 1 0 3482761 0
[pid=6102/tid=6104] ppid=6099 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6102/task/6104/stat : 6104 (java) R 6099 6102 5533 0 -1 4202560 8182 0 0 0 19 1 0 0 20 0 15 0 250747117 14420721664 11844 33554432000 4194304 4196468 140735127308880 140609122091440 140609101944158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6105] ppid=6099 vsize=14082736 memory=364 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6105/stat : 6105 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 11844 33554432000 4194304 4196468 140735127308880 140609047951760 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6106] ppid=6099 vsize=14082736 memory=140343304781651 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6106/stat : 6106 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 11844 33554432000 4194304 4196468 140735127308880 140609046898960 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6107] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6107/stat : 6107 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 11844 33554432000 4194304 4196468 140735127308880 140609045846672 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6108] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6108/stat : 6108 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 11844 33554432000 4194304 4196468 140735127308880 140609044793872 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6109] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6109/stat : 6109 (java) S 6099 6102 5533 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608231414384 140609117874818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6110] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6110/stat : 6110 (java) S 6099 6102 5533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608230360352 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6111] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6111/stat : 6111 (java) S 6099 6102 5533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608229308016 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6112] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6112/stat : 6112 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608228256336 140609117882267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6113] ppid=6099 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6102/task/6113/stat : 6113 (java) S 6099 6102 5533 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 250747122 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608227203184 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6114] ppid=6099 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6102/task/6114/stat : 6114 (java) S 6099 6102 5533 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 250747122 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608226150384 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6115] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0.07 cores=1,3,5,7
/proc/6102/task/6115/stat : 6115 (java) R 6099 6102 5533 0 -1 4202560 280 0 0 0 7 0 0 0 20 0 15 0 250747122 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608225098096 140609096848918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6116] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6116/stat : 6116 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608224045536 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6117] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6117/stat : 6117 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 11844 33554432000 4194304 4196468 140735127308880 140608222993328 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47376 KiB
[startup+0.310743 s]*
/proc/loadavg: 1.68 1.48 1.48 3/219 6117
/proc/meminfo: memFree=24512320/32770624 swapFree=67108856/67108860
[pid=6102] ppid=6099 vsize=14082736 memory=50584 CPUtime=0.44 cores=1,3,5,7
/proc/6102/stat : 6102 (java) S 6099 6102 5533 0 -1 1077944320 10767 0 0 0 42 2 0 0 20 0 15 0 250747116 14420721664 12646 33554432000 4194304 4196468 140735127308880 140735127291424 140609117863671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
/proc/6102/statm: 3520684 12646 3368 1 0 3482761 0
[pid=6102/tid=6104] ppid=6099 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/6102/task/6104/stat : 6104 (java) R 6099 6102 5533 0 -1 4202560 8482 0 0 0 29 1 0 0 20 0 15 0 250747117 14420721664 12646 33554432000 4194304 4196468 140735127308880 140609122025408 140609101944158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6105] ppid=6099 vsize=14082736 memory=4294982659 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6105/stat : 6105 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 12646 33554432000 4194304 4196468 140735127308880 140609047951760 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6106] ppid=6099 vsize=14082736 memory=140343306179342 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6106/stat : 6106 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 12646 33554432000 4194304 4196468 140735127308880 140609046898960 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6107] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6107/stat : 6107 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 12646 33554432000 4194304 4196468 140735127308880 140609045846672 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6108] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6108/stat : 6108 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250747117 14420721664 12646 33554432000 4194304 4196468 140735127308880 140609044793872 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6109] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6109/stat : 6109 (java) S 6099 6102 5533 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608231414384 140609117874818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6110] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6110/stat : 6110 (java) S 6099 6102 5533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608230360352 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6111] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6111/stat : 6111 (java) S 6099 6102 5533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250747119 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608229308016 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6112] ppid=6099 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6112/stat : 6112 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608228256336 140609117882267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6113] ppid=6099 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6102/task/6113/stat : 6113 (java) S 6099 6102 5533 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 250747122 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608227203184 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6114] ppid=6099 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6102/task/6114/stat : 6114 (java) S 6099 6102 5533 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 250747122 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608226150384 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6115] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0.08 cores=1,3,5,7
/proc/6102/task/6115/stat : 6115 (java) R 6099 6102 5533 0 -1 4202560 286 0 0 0 8 0 0 0 20 0 15 0 250747122 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608225098096 140609102172895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6116] ppid=6099 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6116/stat : 6116 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608224045536 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6117] ppid=6099 vsize=14082736 memory=140343304775296 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6117/stat : 6117 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747122 14420721664 12646 33554432000 4194304 4196468 140735127308880 140608222993328 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50584 KiB
[startup+0.700717 s]
/proc/loadavg: 1.68 1.48 1.48 5/219 6117
/proc/meminfo: memFree=24475976/32770624 swapFree=67108856/67108860
[pid=6102] ppid=6099 vsize=14084804 memory=89004 CPUtime=1 cores=1,3,5,7
/proc/6102/stat : 6102 (java) S 6099 6102 5533 0 -1 1077944320 17618 0 0 0 96 4 0 0 20 0 15 0 250747116 14422839296 22251 33554432000 4194304 4196468 140735127308880 140735127291424 140609117863671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
/proc/6102/statm: 3521201 22251 3499 1 0 3483273 0
[pid=6102/tid=6104] ppid=6099 vsize=14084804 memory=15932 CPUtime=0.67 cores=1,3,5,7
/proc/6102/task/6104/stat : 6104 (java) R 6099 6102 5533 0 -1 4202560 14905 0 0 0 64 3 0 0 20 0 15 0 250747117 14422839296 22251 33554432000 4194304 4196468 140735127308880 140609122087776 140609117885597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6105] ppid=6099 vsize=14084804 memory=3332 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6105/stat : 6105 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14422839296 22251 33554432000 4194304 4196468 140735127308880 140609047951760 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6106] ppid=6099 vsize=14084804 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6106/stat : 6106 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14422839296 22251 33554432000 4194304 4196468 140735127308880 140609046898960 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6107] ppid=6099 vsize=14084804 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6107/stat : 6107 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14422839296 22251 33554432000 4194304 4196468 140735127308880 140609045846672 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6108] ppid=6099 vsize=14084804 memory=500 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6108/stat : 6108 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250747117 14422839296 22251 33554432000 4194304 4196468 140735127308880 140609044793872 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6109] ppid=6099 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6109/stat : 6109 (java) S 6099 6102 5533 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250747119 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608231414384 140609117874818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6110] ppid=6099 vsize=14084804 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6110/stat : 6110 (java) S 6099 6102 5533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250747119 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608230360352 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6111] ppid=6099 vsize=14084804 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6111/stat : 6111 (java) S 6099 6102 5533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250747119 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608229308016 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6112] ppid=6099 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6112/stat : 6112 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608228256336 140609117882267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6113] ppid=6099 vsize=14084804 memory=7237400421007321177 CPUtime=0.09 cores=1,3,5,7
/proc/6102/task/6113/stat : 6113 (java) S 6099 6102 5533 0 -1 1077944384 687 0 0 0 9 0 0 0 20 0 15 0 250747122 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608227203184 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6114] ppid=6099 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=1,3,5,7
/proc/6102/task/6114/stat : 6114 (java) S 6099 6102 5533 0 -1 1077944384 248 0 0 0 6 0 0 0 20 0 15 0 250747122 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608226150384 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6115] ppid=6099 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/6102/task/6115/stat : 6115 (java) S 6099 6102 5533 0 -1 1077944384 396 0 0 0 15 0 0 0 20 0 15 0 250747122 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608225098096 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6116] ppid=6099 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6116/stat : 6116 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608224045536 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6117] ppid=6099 vsize=14084804 memory=4280 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6117/stat : 6117 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747122 14422839296 22251 33554432000 4194304 4196468 140735127308880 140608222993328 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89004 KiB
[startup+1.50082 s]
/proc/loadavg: 1.68 1.48 1.48 7/219 6117
/proc/meminfo: memFree=24387444/32770624 swapFree=67108856/67108860
[pid=6102] ppid=6099 vsize=14090948 memory=178160 CPUtime=3.26 cores=1,3,5,7
/proc/6102/stat : 6102 (java) S 6099 6102 5533 0 -1 1077944320 25551 0 0 0 319 7 0 0 20 0 15 0 250747116 14429130752 44540 33554432000 4194304 4196468 140735127308880 140735127291424 140609117863671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
/proc/6102/statm: 3522737 44540 3545 1 0 3484809 0
[pid=6102/tid=6104] ppid=6099 vsize=14090948 memory=148504 CPUtime=1.46 cores=1,3,5,7
/proc/6102/task/6104/stat : 6104 (java) S 6099 6102 5533 0 -1 1077944384 19269 0 0 0 141 5 0 0 20 0 15 0 250747117 14429130752 44540 33554432000 4194304 4196468 140735127308880 140609122097120 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6105] ppid=6099 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6105/stat : 6105 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 44540 33554432000 4194304 4196468 140735127308880 140609047951760 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6106] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6106/stat : 6106 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 44540 33554432000 4194304 4196468 140735127308880 140609046898960 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6107] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6107/stat : 6107 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 44540 33554432000 4194304 4196468 140735127308880 140609045846672 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6108] ppid=6099 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6108/stat : 6108 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 44540 33554432000 4194304 4196468 140735127308880 140609044793872 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6109] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6109/stat : 6109 (java) S 6099 6102 5533 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608231414384 140609117874818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6110] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6110/stat : 6110 (java) S 6099 6102 5533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608230360352 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6111] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6111/stat : 6111 (java) S 6099 6102 5533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608229308016 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6112] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6112/stat : 6112 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608228256336 140609117882267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6113] ppid=6099 vsize=14090948 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/6102/task/6113/stat : 6113 (java) R 6099 6102 5533 0 -1 4202560 1651 0 0 0 60 0 0 0 20 0 15 0 250747122 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608227191536 140609117885018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6114] ppid=6099 vsize=14090948 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/6102/task/6114/stat : 6114 (java) R 6099 6102 5533 0 -1 4202560 1084 0 0 0 57 0 0 0 20 0 15 0 250747122 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608226138016 140609097109519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6115] ppid=6099 vsize=14090948 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/6102/task/6115/stat : 6115 (java) R 6099 6102 5533 0 -1 1077944384 1977 0 0 0 59 0 0 0 20 0 15 0 250747122 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608225095632 140609117873877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6116] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6116/stat : 6116 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608224045536 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6117] ppid=6099 vsize=14090948 memory=13722420513464 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6117/stat : 6117 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 44540 33554432000 4194304 4196468 140735127308880 140608222993328 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 178160 KiB
[startup+1.91686 s]
# the end of solver process 6102 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.4559 s, system=0.093274 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60163 s]
/proc/loadavg: 1.68 1.48 1.48 7/219 6117
/proc/meminfo: memFree=24387444/32770624 swapFree=67108856/67108860
[pid=6102] ppid=6099 vsize=14090948 memory=185212 CPUtime=3.61 cores=1,3,5,7
/proc/6102/stat : 6102 (java) S 6099 6102 5533 0 -1 1077944320 26096 0 0 0 353 8 0 0 20 0 15 0 250747116 14429130752 46303 33554432000 4194304 4196468 140735127308880 140735127291424 140609117863671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
/proc/6102/statm: 3522737 46303 3553 1 0 3484809 0
[pid=6102/tid=6104] ppid=6099 vsize=14090948 memory=40852 CPUtime=1.56 cores=1,3,5,7
/proc/6102/task/6104/stat : 6104 (java) R 6099 6102 5533 0 -1 4202560 19400 0 0 0 151 5 0 0 20 0 15 0 250747117 14429130752 46303 33554432000 4194304 4196468 140735127308880 140609122100192 140608723359197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6105] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6105/stat : 6105 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 46303 33554432000 4194304 4196468 140735127308880 140609047951760 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6106] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6106/stat : 6106 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 46303 33554432000 4194304 4196468 140735127308880 140609046898960 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6107] ppid=6099 vsize=14090948 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6107/stat : 6107 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 46303 33554432000 4194304 4196468 140735127308880 140609045846672 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6108] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6108/stat : 6108 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 46303 33554432000 4194304 4196468 140735127308880 140609044793872 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6109] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6109/stat : 6109 (java) S 6099 6102 5533 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608231414384 140609117874818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6110] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6110/stat : 6110 (java) S 6099 6102 5533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608230360352 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6111] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6111/stat : 6111 (java) S 6099 6102 5533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608229308016 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6112] ppid=6099 vsize=14090948 memory=280686313341168 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6112/stat : 6112 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608228256336 140609117882267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6113] ppid=6099 vsize=14090948 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/6102/task/6113/stat : 6113 (java) R 6099 6102 5533 0 -1 4202560 1732 0 0 0 70 0 0 0 20 0 15 0 250747122 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608227194512 140609099387290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6114] ppid=6099 vsize=14090948 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/6102/task/6114/stat : 6114 (java) R 6099 6102 5533 0 -1 4202560 1321 0 0 0 66 0 0 0 20 0 15 0 250747122 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608226131952 140609097517601 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6115] ppid=6099 vsize=14090948 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/6102/task/6115/stat : 6115 (java) R 6099 6102 5533 0 -1 4202560 2075 0 0 0 64 1 0 0 20 0 15 0 250747122 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608225098096 140609110960380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6116] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6116/stat : 6116 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608224045536 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6117] ppid=6099 vsize=14090948 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6117/stat : 6117 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 46303 33554432000 4194304 4196468 140735127308880 140608222993328 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 185212 KiB
[startup+1.80163 s]
/proc/loadavg: 1.68 1.48 1.48 7/219 6117
/proc/meminfo: memFree=24387444/32770624 swapFree=67108856/67108860
[pid=6102] ppid=6099 vsize=14090948 memory=193704 CPUtime=4.24 cores=1,3,5,7
/proc/6102/stat : 6102 (java) S 6099 6102 5533 0 -1 1077944320 26820 0 0 0 416 8 0 0 20 0 15 0 250747116 14429130752 48426 33554432000 4194304 4196468 140735127308880 140735127291424 140609117863671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
/proc/6102/statm: 3522737 48426 3554 1 0 3484809 0
[pid=6102/tid=6104] ppid=6099 vsize=14090948 memory=0 CPUtime=1.76 cores=1,3,5,7
/proc/6102/task/6104/stat : 6104 (java) R 6099 6102 5533 0 -1 4202560 19403 0 0 0 171 5 0 0 20 0 15 0 250747117 14429130752 48426 33554432000 4194304 4196468 140735127308880 140609122092960 140608730432779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6105] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6105/stat : 6105 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 48426 33554432000 4194304 4196468 140735127308880 140609047951760 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6106] ppid=6099 vsize=14090948 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6106/stat : 6106 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 48426 33554432000 4194304 4196468 140735127308880 140609046898960 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6107] ppid=6099 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6107/stat : 6107 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 48426 33554432000 4194304 4196468 140735127308880 140609045846672 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6108] ppid=6099 vsize=14090948 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6108/stat : 6108 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250747117 14429130752 48426 33554432000 4194304 4196468 140735127308880 140609044793872 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6109] ppid=6099 vsize=14090948 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6109/stat : 6109 (java) S 6099 6102 5533 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608231414384 140609117874818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6110] ppid=6099 vsize=14090948 memory=-6454338467431146081 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6110/stat : 6110 (java) S 6099 6102 5533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608230360352 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6111] ppid=6099 vsize=14090948 memory=7682475212697334586 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6111/stat : 6111 (java) S 6099 6102 5533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250747119 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608229308016 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6112] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6112/stat : 6112 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608228256336 140609117882267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6113] ppid=6099 vsize=14090948 memory=74689 CPUtime=0.9 cores=1,3,5,7
/proc/6102/task/6113/stat : 6113 (java) R 6099 6102 5533 0 -1 4202560 2009 0 0 0 90 0 0 0 20 0 15 0 250747122 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608227190032 140609101250141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6114] ppid=6099 vsize=14090948 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/6102/task/6114/stat : 6114 (java) R 6099 6102 5533 0 -1 4202560 1694 0 0 0 86 0 0 0 20 0 15 0 250747122 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608226136928 140609117877558 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6115] ppid=6099 vsize=14090948 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/6102/task/6115/stat : 6115 (java) S 6099 6102 5533 0 -1 1077944384 2144 0 0 0 68 1 0 0 20 0 15 0 250747122 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608225098096 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6116] ppid=6099 vsize=14090948 memory=8551153264117456514 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6116/stat : 6116 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608224045536 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6117] ppid=6099 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6117/stat : 6117 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250747122 14429130752 48426 33554432000 4194304 4196468 140735127308880 140608222993328 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 193704 KiB
[startup+1.90069 s]
/proc/loadavg: 1.68 1.48 1.48 7/219 6117
/proc/meminfo: memFree=24387444/32770624 swapFree=67108856/67108860
[pid=6102] ppid=6099 vsize=14157512 memory=198116 CPUtime=4.53 cores=1,3,5,7
/proc/6102/stat : 6102 (java) S 6099 6102 5533 0 -1 1077944320 26944 0 0 0 445 8 0 0 20 0 13 0 250747116 14497292288 49529 33554432000 4194304 4196468 140735127308880 140735127291424 140609117863671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
/proc/6102/statm: 3539378 49529 3556 1 0 3501450 0
[pid=6102/tid=6104] ppid=6099 vsize=14157512 memory=8112282956445269571 CPUtime=1.86 cores=1,3,5,7
/proc/6102/task/6104/stat : 6104 (java) S 6099 6102 5533 0 -1 1077944384 19458 0 0 0 181 5 0 0 20 0 13 0 250747117 14497292288 49529 33554432000 4194304 4196468 140735127308880 140609122106512 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6105] ppid=6099 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6105/stat : 6105 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250747117 14497292288 49529 33554432000 4194304 4196468 140735127308880 140609047951760 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6106] ppid=6099 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6106/stat : 6106 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250747117 14497292288 49529 33554432000 4194304 4196468 140735127308880 140609046898960 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6107] ppid=6099 vsize=14157512 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6107/stat : 6107 (java) S 6099 6102 5533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 250747117 14497292288 49529 33554432000 4194304 4196468 140735127308880 140609045846672 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6108] ppid=6099 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6108/stat : 6108 (java) S 6099 6102 5533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 250747117 14497292288 49529 33554432000 4194304 4196468 140735127308880 140609044793872 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6109] ppid=6099 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6109/stat : 6109 (java) S 6099 6102 5533 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 13 0 250747119 14497292288 49529 33554432000 4194304 4196468 140735127308880 140608231414592 140609117874818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6110] ppid=6099 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6110/stat : 6110 (java) S 6099 6102 5533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 250747119 14497292288 49529 33554432000 4194304 4196468 140735127308880 140608230360352 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6111] ppid=6099 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6111/stat : 6111 (java) S 6099 6102 5533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 250747119 14497292288 49529 33554432000 4194304 4196468 140735127308880 140608229308016 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6113] ppid=6099 vsize=14157512 memory=0 CPUtime=1 cores=1,3,5,7
/proc/6102/task/6113/stat : 6113 (java) R 6099 6102 5533 0 -1 4202560 2024 0 0 0 100 0 0 0 20 0 13 0 250747122 14497292288 49529 33554432000 4194304 4196468 140735127308880 140608227190032 140609097109514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6114] ppid=6099 vsize=14157512 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/6102/task/6114/stat : 6114 (java) S 6099 6102 5533 0 -1 1077944384 1699 0 0 0 96 0 0 0 20 0 13 0 250747122 14497292288 49529 33554432000 4194304 4196468 140735127308880 140608226130784 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6115] ppid=6099 vsize=14157512 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/6102/task/6115/stat : 6115 (java) S 6099 6102 5533 0 -1 1077944384 2145 0 0 0 68 1 0 0 20 0 13 0 250747122 14497292288 49529 33554432000 4194304 4196468 140735127308880 140608225098096 140609117874818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
[pid=6102/tid=6116] ppid=6099 vsize=14157512 memory=178160 CPUtime=0 cores=1,3,5,7
/proc/6102/task/6116/stat : 6116 (java) S 6099 6102 5533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 250747122 14497292288 49529 33554432000 4194304 4196468 140735127308880 140608224045536 140609117873877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140735127311444 140735127311625 140735127311625 140735127314383 0
Current children cumulated CPU time: 4.53 s
Current children cumulated vsize: 14157512 KiB
Current children cumulated memory: 198116 KiB
Child status: 0
Real time (s): 1.91693
CPU time (s): 4.54918
CPU user time (s): 4.4559
CPU system time (s): 0.093274
CPU usage (%): 237.316
Max. virtual memory (cumulated for all children) (KiB): 14157512
Max. memory (cumulated for all children) (KiB): 198116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.4559
system time used= 0.093274
maximum resident set size= 198468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26950
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= 2687
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 6102
# total CPU time (s): 4.54918
# total CPU user time (s): 4.4559
# total CPU system time (s): 0.093274
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026404 second user time and 0.068798 second system time
The end