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 (13517 MiB free)
memory of node 1: 16384 MiB (13513 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299694-1532804622/watcher-4299694-1532804622 -o /tmp/evaluation-result-4299694-1532804622/solver-4299694-1532804622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23260 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299694-1532804622.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29146, runsolver pid=29143
Current StackSize limit: 8192 KiB
[startup+0.103594 s]*
/proc/loadavg: 1.60 1.39 1.42 5/216 29161
/proc/meminfo: memFree=27663772/32770624 swapFree=67108532/67108860
[pid=29146] ppid=29143 vsize=10661052 memory=27872 CPUtime=0.14 cores=0,2,4,6
/proc/29146/stat : 29146 (java) S 29143 29146 23229 0 -1 1077944320 5340 0 0 0 13 1 0 0 20 0 15 0 98025327 10916917248 6968 33554432000 4194304 4196468 140722647227888 140722647210432 139926083260151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
/proc/29146/statm: 2665263 6968 2888 1 0 2627263 0
[pid=29146/tid=29148] ppid=29143 vsize=10661052 memory=-8269626465541459579 CPUtime=0.09 cores=0,2,4,6
/proc/29146/task/29148/stat : 29148 (java) R 29143 29146 23229 0 -1 4202560 3144 0 0 0 9 0 0 0 20 0 15 0 98025328 10916917248 6968 33554432000 4194304 4196468 140722647227888 139926087482736 139925689236756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29149] ppid=29143 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29149/stat : 29149 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916917248 6968 33554432000 4194304 4196468 140722647227888 139926009334672 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29150] ppid=29143 vsize=10661052 memory=140242953623168 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29150/stat : 29150 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925689199376 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29151] ppid=29143 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29151/stat : 29151 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925688147088 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29152] ppid=29143 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29152/stat : 29152 (java) S 29143 29146 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025328 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925687094288 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29153] ppid=29143 vsize=10661052 memory=140242953623168 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29153/stat : 29153 (java) S 29143 29146 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025330 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925119572080 139926083271298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29154] ppid=29143 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29154/stat : 29154 (java) S 29143 29146 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98025330 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925118518048 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29155] ppid=29143 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29155/stat : 29155 (java) S 29143 29146 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98025330 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925117465712 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29156] ppid=29143 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29156/stat : 29156 (java) S 29143 29146 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025333 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925116414032 139926083278747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29157] ppid=29143 vsize=10661052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29146/task/29157/stat : 29157 (java) S 29143 29146 23229 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 98025333 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925115361904 139926083271298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29158] ppid=29143 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29158/stat : 29158 (java) S 29143 29146 23229 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 98025333 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925114309104 139926083271298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29159] ppid=29143 vsize=10661052 memory=140242953623168 CPUtime=0.02 cores=0,2,4,6
/proc/29146/task/29159/stat : 29159 (java) R 29143 29146 23229 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 98025333 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925113256816 139926075497278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29160] ppid=29143 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29160/stat : 29160 (java) S 29143 29146 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025333 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925112204256 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29161] ppid=29143 vsize=10661052 memory=140242953623168 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29161/stat : 29161 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025333 10916917248 6968 33554432000 4194304 4196468 140722647227888 139925111151024 139926083271298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27872 KiB
[startup+0.210526 s]*
/proc/loadavg: 1.60 1.39 1.42 4/216 29161
/proc/meminfo: memFree=27652216/32770624 swapFree=67108532/67108860
[pid=29146] ppid=29143 vsize=10661052 memory=40412 CPUtime=0.34 cores=0,2,4,6
/proc/29146/stat : 29146 (java) S 29143 29146 23229 0 -1 1077944320 8175 0 0 0 33 1 0 0 20 0 15 0 98025327 10916917248 10103 33554432000 4194304 4196468 140722647227888 140722647210432 139926083260151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
/proc/29146/statm: 2665263 10103 2999 1 0 2627263 0
[pid=29146/tid=29148] ppid=29143 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29146/task/29148/stat : 29148 (java) R 29143 29146 23229 0 -1 4202560 5100 0 0 0 19 1 0 0 20 0 15 0 98025328 10916917248 10164 33554432000 4194304 4196468 140722647227888 139926087498112 139926067340536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29149] ppid=29143 vsize=10661052 memory=364 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29149/stat : 29149 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916917248 10164 33554432000 4194304 4196468 140722647227888 139926009334672 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29150] ppid=29143 vsize=10661052 memory=288370619105334912 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29150/stat : 29150 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925689199376 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29151] ppid=29143 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29151/stat : 29151 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925688147088 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29152] ppid=29143 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29152/stat : 29152 (java) S 29143 29146 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025328 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925687094288 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29153] ppid=29143 vsize=10661052 memory=140242953623168 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29153/stat : 29153 (java) S 29143 29146 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025330 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925119572080 139926083271298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29154] ppid=29143 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29154/stat : 29154 (java) S 29143 29146 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98025330 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925118518048 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29155] ppid=29143 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29155/stat : 29155 (java) S 29143 29146 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98025330 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925117465712 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29156] ppid=29143 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29156/stat : 29156 (java) S 29143 29146 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025333 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925116414032 139926083278747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29157] ppid=29143 vsize=10661052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29146/task/29157/stat : 29157 (java) S 29143 29146 23229 0 -1 1077944384 650 0 0 0 2 0 0 0 20 0 15 0 98025333 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925115361904 139926083271298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29158] ppid=29143 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29146/task/29158/stat : 29158 (java) S 29143 29146 23229 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 15 0 98025333 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925114309104 139926083271298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29159] ppid=29143 vsize=10661052 memory=140242953623168 CPUtime=0.08 cores=0,2,4,6
/proc/29146/task/29159/stat : 29159 (java) R 29143 29146 23229 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 15 0 98025333 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925113254480 139926075497278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29160] ppid=29143 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29160/stat : 29160 (java) S 29143 29146 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025333 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925112204256 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29161] ppid=29143 vsize=10661052 memory=140242953623168 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29161/stat : 29161 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025333 10916917248 10164 33554432000 4194304 4196468 140722647227888 139925111151024 139926083271298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40412 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.60 1.39 1.42 5/216 29161
/proc/meminfo: memFree=27645640/32770624 swapFree=67108532/67108860
[pid=29146] ppid=29143 vsize=10661128 memory=46824 CPUtime=0.57 cores=0,2,4,6
/proc/29146/stat : 29146 (java) S 29143 29146 23229 0 -1 1077944320 8706 0 0 0 55 2 0 0 20 0 15 0 98025327 10916995072 11706 33554432000 4194304 4196468 140722647227888 140722647210432 139926083260151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
/proc/29146/statm: 2665282 11706 3063 1 0 2627263 0
[pid=29146/tid=29148] ppid=29143 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/29146/task/29148/stat : 29148 (java) R 29143 29146 23229 0 -1 4202560 5394 0 0 0 29 1 0 0 20 0 15 0 98025328 10916995072 11706 33554432000 4194304 4196468 140722647227888 139926087496960 139925691566268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29149] ppid=29143 vsize=10661128 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29149/stat : 29149 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916995072 11706 33554432000 4194304 4196468 140722647227888 139926009334672 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29150] ppid=29143 vsize=10661128 memory=288370619105334912 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29150/stat : 29150 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925689199376 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29151] ppid=29143 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29151/stat : 29151 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025328 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925688147088 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29152] ppid=29143 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29152/stat : 29152 (java) S 29143 29146 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025328 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925687094288 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29153] ppid=29143 vsize=10661128 memory=140242953623168 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29153/stat : 29153 (java) S 29143 29146 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025330 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925119572080 139926083271298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29154] ppid=29143 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29154/stat : 29154 (java) S 29143 29146 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98025330 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925118518048 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29155] ppid=29143 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29155/stat : 29155 (java) S 29143 29146 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98025330 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925117465712 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29156] ppid=29143 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29156/stat : 29156 (java) S 29143 29146 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025333 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925116414032 139926083278747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29157] ppid=29143 vsize=10661128 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29146/task/29157/stat : 29157 (java) R 29143 29146 23229 0 -1 4202560 675 0 0 0 5 0 0 0 20 0 15 0 98025333 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925115361904 139926067170957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29158] ppid=29143 vsize=10661128 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/29146/task/29158/stat : 29158 (java) R 29143 29146 23229 0 -1 4202560 338 0 0 0 5 0 0 0 20 0 15 0 98025333 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925114309104 139926066646785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29159] ppid=29143 vsize=10661128 memory=140242953623168 CPUtime=0.15 cores=0,2,4,6
/proc/29146/task/29159/stat : 29159 (java) R 29143 29146 23229 0 -1 1077944384 932 0 0 0 15 0 0 0 20 0 15 0 98025333 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925113256816 139926083271298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29160] ppid=29143 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29160/stat : 29160 (java) S 29143 29146 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025333 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925112204256 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29161] ppid=29143 vsize=10661128 memory=140242953623168 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29161/stat : 29161 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025333 10916995072 11706 33554432000 4194304 4196468 140722647227888 139925111151024 139926083271298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 46824 KiB
[startup+0.430765 s]
# the end of solver process 29146 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.80392 s, system=0.037247 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410448 s]*
/proc/loadavg: 1.60 1.39 1.42 4/216 29161
/proc/meminfo: memFree=27640304/32770624 swapFree=67108532/67108860
[pid=29146] ppid=29143 vsize=10727692 memory=52784 CPUtime=0.83 cores=0,2,4,6
/proc/29146/stat : 29146 (java) S 29143 29146 23229 0 -1 1077944320 9379 0 0 0 80 3 0 0 20 0 14 0 98025327 10985156608 13196 33554432000 4194304 4196468 140722647227888 140722647210432 139926083260151 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
/proc/29146/statm: 2681923 13196 3093 1 0 2643904 0
[pid=29146/tid=29148] ppid=29143 vsize=10727692 memory=7022364594140610616 CPUtime=0.38 cores=0,2,4,6
/proc/29146/task/29148/stat : 29148 (java) S 29143 29146 23229 0 -1 1077944384 5712 0 0 0 37 1 0 0 20 0 14 0 98025328 10985156608 13196 33554432000 4194304 4196468 140722647227888 139926087502992 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29149] ppid=29143 vsize=10727692 memory=364 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29149/stat : 29149 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98025328 10985156608 13196 33554432000 4194304 4196468 140722647227888 139926009334672 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29150] ppid=29143 vsize=10727692 memory=288370619105334912 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29150/stat : 29150 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98025328 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925689199376 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29151] ppid=29143 vsize=10727692 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29151/stat : 29151 (java) S 29143 29146 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98025328 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925688147088 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29152] ppid=29143 vsize=10727692 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29152/stat : 29152 (java) S 29143 29146 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 98025328 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925687094288 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29153] ppid=29143 vsize=10727692 memory=140242953623168 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29153/stat : 29153 (java) S 29143 29146 23229 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 98025330 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925119572288 139926083271298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29154] ppid=29143 vsize=10727692 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29154/stat : 29154 (java) S 29143 29146 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 98025330 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925118518048 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29155] ppid=29143 vsize=10727692 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29155/stat : 29155 (java) S 29143 29146 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 98025330 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925117465712 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29156] ppid=29143 vsize=10727692 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29156/stat : 29156 (java) S 29143 29146 23229 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 14 0 98025333 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925116412800 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29157] ppid=29143 vsize=10727692 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29146/task/29157/stat : 29157 (java) S 29143 29146 23229 0 -1 1077944384 727 0 0 0 8 0 0 0 20 0 14 0 98025333 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925115361664 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29158] ppid=29143 vsize=10727692 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/29146/task/29158/stat : 29158 (java) S 29143 29146 23229 0 -1 1077944384 414 0 0 0 9 0 0 0 20 0 14 0 98025333 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925114289504 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29159] ppid=29143 vsize=10727692 memory=140242953623168 CPUtime=0.23 cores=0,2,4,6
/proc/29146/task/29159/stat : 29159 (java) S 29143 29146 23229 0 -1 1077944384 1114 0 0 0 23 0 0 0 20 0 14 0 98025333 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925113256816 139926083271298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
[pid=29146/tid=29160] ppid=29143 vsize=10727692 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29160/stat : 29160 (java) S 29143 29146 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 98025333 10985156608 13196 33554432000 4194304 4196468 140722647227888 139925112204256 139926083270357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39677952 140722647233709 140722647233801 140722647233801 140722647236559 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 10727692 KiB
Current children cumulated memory: 52784 KiB
Child status: 0
Real time (s): 0.430799
CPU time (s): 0.841167
CPU user time (s): 0.80392
CPU system time (s): 0.037247
CPU usage (%): 195.257
Max. virtual memory (cumulated for all children) (KiB): 10727692
Max. memory (cumulated for all children) (KiB): 52784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.80392
system time used= 0.037247
maximum resident set size= 53380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9383
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= 1271
involuntary context switches= 1
# summary of solver processes directly reported to runsolver:
# pid: 29146
# total CPU time (s): 0.841167
# total CPU user time (s): 0.80392
# total CPU system time (s): 0.037247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026461 second user time and 0.036934 second system time
The end