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 (4196 MiB free)
memory of node 1: 16384 MiB (13937 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299148-1532790981/watcher-4299148-1532790981 -o /tmp/evaluation-result-4299148-1532790981/solver-4299148-1532790981 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532776007-24589 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299148-1532790981.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=27228, runsolver pid=27225
[startup+0.102365 s]*
/proc/loadavg: 2.21 1.58 1.44 4/215 27243
/proc/meminfo: memFree=18553068/32770624 swapFree=67108688/67108860
[pid=27228] ppid=27225 vsize=10661052 memory=28384 CPUtime=0.14 cores=1,3,5,7
/proc/27228/stat : 27228 (java) S 27225 27228 24557 0 -1 1077944320 5051 0 0 0 12 2 0 0 20 0 15 0 96660970 10916917248 7096 33554432000 4194304 4196468 140729183558944 140729183541488 140159559773943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
/proc/27228/statm: 2665263 7096 2864 1 0 2627263 0
[pid=27228/tid=27230] ppid=27225 vsize=10661052 memory=-8197568871503400320 CPUtime=0.09 cores=1,3,5,7
/proc/27228/task/27230/stat : 27230 (java) R 27225 27228 24557 0 -1 4202560 2867 0 0 0 8 1 0 0 20 0 15 0 96660971 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159564002048 140159161039188 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27231] ppid=27225 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27231/stat : 27231 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159485848208 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27232] ppid=27225 vsize=10661052 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27232/stat : 27232 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159484795408 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27233] ppid=27225 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27233/stat : 27233 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159483742608 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27234] ppid=27225 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27234/stat : 27234 (java) S 27225 27228 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660972 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159482689808 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27235] ppid=27225 vsize=10661052 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27235/stat : 27235 (java) S 27225 27228 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660973 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159050935152 140159559785090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27236] ppid=27225 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27236/stat : 27236 (java) S 27225 27228 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96660974 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159049881120 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27237] ppid=27225 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27237/stat : 27237 (java) S 27225 27228 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96660974 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159048828272 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27238] ppid=27225 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27238/stat : 27238 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159047776592 140159559792539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27239] ppid=27225 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27239/stat : 27239 (java) R 27225 27228 24557 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 96660976 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159046723952 140159559785090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27240] ppid=27225 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27240/stat : 27240 (java) R 27225 27228 24557 0 -1 4202560 183 0 0 0 0 0 0 0 20 0 15 0 96660976 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159045671152 140159537606800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27241] ppid=27225 vsize=10661052 memory=140106151683712 CPUtime=0.02 cores=1,3,5,7
/proc/27228/task/27241/stat : 27241 (java) R 27225 27228 24557 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 15 0 96660976 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159044618352 140159552011070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27242] ppid=27225 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27242/stat : 27242 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159043565792 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27243] ppid=27225 vsize=10661052 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27243/stat : 27243 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660976 10916917248 7096 33554432000 4194304 4196468 140729183558944 140159042514096 140159559785090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 28384 KiB
[startup+0.211965 s]*
/proc/loadavg: 2.21 1.58 1.44 4/215 27243
/proc/meminfo: memFree=18538672/32770624 swapFree=67108688/67108860
[pid=27228] ppid=27225 vsize=10661052 memory=40616 CPUtime=0.35 cores=1,3,5,7
/proc/27228/stat : 27228 (java) S 27225 27228 24557 0 -1 1077944320 7700 0 0 0 33 2 0 0 20 0 15 0 96660970 10916917248 10154 33554432000 4194304 4196468 140729183558944 140729183541488 140159559773943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
/proc/27228/statm: 2665263 10154 3007 1 0 2627263 0
[pid=27228/tid=27230] ppid=27225 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27228/task/27230/stat : 27230 (java) R 27225 27228 24557 0 -1 4202560 4650 0 0 0 19 1 0 0 20 0 15 0 96660971 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159564012432 140159559795869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27231] ppid=27225 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27231/stat : 27231 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159485848208 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27232] ppid=27225 vsize=10661052 memory=140106152229740 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27232/stat : 27232 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159484795408 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27233] ppid=27225 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27233/stat : 27233 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159483742608 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27234] ppid=27225 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27234/stat : 27234 (java) S 27225 27228 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660972 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159482689808 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27235] ppid=27225 vsize=10661052 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27235/stat : 27235 (java) S 27225 27228 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660973 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159050935152 140159559785090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27236] ppid=27225 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27236/stat : 27236 (java) S 27225 27228 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96660974 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159049881120 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27237] ppid=27225 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27237/stat : 27237 (java) S 27225 27228 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96660974 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159048828272 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27238] ppid=27225 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27238/stat : 27238 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159047776592 140159559792539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27239] ppid=27225 vsize=10661052 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27228/task/27239/stat : 27239 (java) R 27225 27228 24557 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 15 0 96660976 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159046716976 140159559784149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27240] ppid=27225 vsize=10661052 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27228/task/27240/stat : 27240 (java) R 27225 27228 24557 0 -1 4202560 372 0 0 0 3 0 0 0 20 0 15 0 96660976 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159045671248 140159543763666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27241] ppid=27225 vsize=10661052 memory=140106151683712 CPUtime=0.09 cores=1,3,5,7
/proc/27228/task/27241/stat : 27241 (java) R 27225 27228 24557 0 -1 4202560 733 0 0 0 9 0 0 0 20 0 15 0 96660976 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159044613616 140159538731811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27242] ppid=27225 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27242/stat : 27242 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159043565792 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27243] ppid=27225 vsize=10661052 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27243/stat : 27243 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660976 10916917248 10154 33554432000 4194304 4196468 140729183558944 140159042514096 140159559785090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40616 KiB
[startup+0.310409 s]*
/proc/loadavg: 2.21 1.58 1.44 6/215 27243
/proc/meminfo: memFree=18534268/32770624 swapFree=67108688/67108860
[pid=27228] ppid=27225 vsize=10661128 memory=46952 CPUtime=0.58 cores=1,3,5,7
/proc/27228/stat : 27228 (java) S 27225 27228 24557 0 -1 1077944320 8271 0 0 0 56 2 0 0 20 0 15 0 96660970 10916995072 11738 33554432000 4194304 4196468 140729183558944 140729183541488 140159559773943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
/proc/27228/statm: 2665282 11738 3068 1 0 2627263 0
[pid=27228/tid=27230] ppid=27225 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/27228/task/27230/stat : 27230 (java) R 27225 27228 24557 0 -1 4202560 4973 0 0 0 29 1 0 0 20 0 15 0 96660971 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159564010496 140159541624454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27231] ppid=27225 vsize=10661128 memory=4294979917 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27231/stat : 27231 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159485848208 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27232] ppid=27225 vsize=10661128 memory=140106152223790 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27232/stat : 27232 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159484795408 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27233] ppid=27225 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27233/stat : 27233 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159483742608 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27234] ppid=27225 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27234/stat : 27234 (java) S 27225 27228 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159482689808 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27235] ppid=27225 vsize=10661128 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27235/stat : 27235 (java) S 27225 27228 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660973 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159050935152 140159559785090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27236] ppid=27225 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27236/stat : 27236 (java) S 27225 27228 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96660974 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159049881120 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27237] ppid=27225 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27237/stat : 27237 (java) S 27225 27228 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96660974 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159048828272 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27238] ppid=27225 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27238/stat : 27238 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159047776592 140159559792539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27239] ppid=27225 vsize=10661128 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27228/task/27239/stat : 27239 (java) R 27225 27228 24557 0 -1 4202560 677 0 0 0 4 0 0 0 20 0 15 0 96660976 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159046723952 140159559785878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27240] ppid=27225 vsize=10661128 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27228/task/27240/stat : 27240 (java) S 27225 27228 24557 0 -1 1077944384 403 0 0 0 7 0 0 0 20 0 15 0 96660976 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159045671152 140159559785090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27241] ppid=27225 vsize=10661128 memory=140106151683712 CPUtime=0.15 cores=1,3,5,7
/proc/27228/task/27241/stat : 27241 (java) R 27225 27228 24557 0 -1 4202560 851 0 0 0 15 0 0 0 20 0 15 0 96660976 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159044616144 140159552011070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27242] ppid=27225 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27242/stat : 27242 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159043565792 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27243] ppid=27225 vsize=10661128 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27243/stat : 27243 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 11738 33554432000 4194304 4196468 140729183558944 140159042514096 140159559785090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 46952 KiB
[startup+0.606777 s]
# the end of solver process 27228 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.44774 s, system=0.03799 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410937 s]*
/proc/loadavg: 2.21 1.58 1.44 6/215 27243
/proc/meminfo: memFree=18519748/32770624 swapFree=67108688/67108860
[pid=27228] ppid=27225 vsize=10661128 memory=59596 CPUtime=0.9 cores=1,3,5,7
/proc/27228/stat : 27228 (java) S 27225 27228 24557 0 -1 1077944320 8970 0 0 0 87 3 0 0 20 0 15 0 96660970 10916995072 14899 33554432000 4194304 4196468 140729183558944 140729183541488 140159559773943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
/proc/27228/statm: 2665282 14899 3090 1 0 2627263 0
[pid=27228/tid=27230] ppid=27225 vsize=10661128 memory=7022364594140610616 CPUtime=0.39 cores=1,3,5,7
/proc/27228/task/27230/stat : 27230 (java) R 27225 27228 24557 0 -1 4202560 5230 0 0 0 38 1 0 0 20 0 15 0 96660971 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159563991152 140159543854430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27231] ppid=27225 vsize=10661128 memory=343 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27231/stat : 27231 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159485848208 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27232] ppid=27225 vsize=10661128 memory=140106152229740 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27232/stat : 27232 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159484795408 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27233] ppid=27225 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27233/stat : 27233 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159483742608 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27234] ppid=27225 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27234/stat : 27234 (java) S 27225 27228 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159482689808 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27235] ppid=27225 vsize=10661128 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27235/stat : 27235 (java) S 27225 27228 24557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96660973 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159050935152 140159559785090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27236] ppid=27225 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27236/stat : 27236 (java) S 27225 27228 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96660974 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159049881120 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27237] ppid=27225 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27237/stat : 27237 (java) S 27225 27228 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96660974 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159048828272 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27238] ppid=27225 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27238/stat : 27238 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159047776592 140159559792539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27239] ppid=27225 vsize=10661128 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27228/task/27239/stat : 27239 (java) R 27225 27228 24557 0 -1 1077944384 788 0 0 0 11 0 0 0 20 0 15 0 96660976 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159046723952 140159559785090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27240] ppid=27225 vsize=10661128 memory=-1 CPUtime=0.15 cores=1,3,5,7
/proc/27228/task/27240/stat : 27240 (java) R 27225 27228 24557 0 -1 4202560 569 0 0 0 15 0 0 0 20 0 15 0 96660976 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159045664064 140159540959450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27241] ppid=27225 vsize=10661128 memory=140106151683712 CPUtime=0.22 cores=1,3,5,7
/proc/27228/task/27241/stat : 27241 (java) R 27225 27228 24557 0 -1 4202560 1012 0 0 0 22 0 0 0 20 0 15 0 96660976 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159044618352 140159559787792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27242] ppid=27225 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27242/stat : 27242 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159043565792 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27243] ppid=27225 vsize=10661128 memory=140106151683712 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27243/stat : 27243 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 14899 33554432000 4194304 4196468 140729183558944 140159042514096 140159559785090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 59596 KiB
[startup+0.510932 s]*
/proc/loadavg: 2.21 1.58 1.44 5/215 27243
/proc/meminfo: memFree=18515220/32770624 swapFree=67108688/67108860
[pid=27228] ppid=27225 vsize=10661128 memory=66368 CPUtime=1.22 cores=1,3,5,7
/proc/27228/stat : 27228 (java) S 27225 27228 24557 0 -1 1077944320 9632 0 0 0 119 3 0 0 20 0 15 0 96660970 10916995072 16592 33554432000 4194304 4196468 140729183558944 140729183541488 140159559773943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
/proc/27228/statm: 2665282 16592 3110 1 0 2627263 0
[pid=27228/tid=27230] ppid=27225 vsize=10661128 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/27228/task/27230/stat : 27230 (java) R 27225 27228 24557 0 -1 4202560 5287 0 0 0 48 2 0 0 20 0 15 0 96660971 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159564009248 140159163826127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27231] ppid=27225 vsize=10661128 memory=840 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27231/stat : 27231 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159485848208 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27232] ppid=27225 vsize=10661128 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27232/stat : 27232 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159484795408 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27233] ppid=27225 vsize=10661128 memory=912 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27233/stat : 27233 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159483742608 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27234] ppid=27225 vsize=10661128 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27234/stat : 27234 (java) S 27225 27228 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96660972 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159482689808 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27235] ppid=27225 vsize=10661128 memory=2684 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27235/stat : 27235 (java) S 27225 27228 24557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96660973 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159050935152 140159559785090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27236] ppid=27225 vsize=10661128 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27236/stat : 27236 (java) S 27225 27228 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96660974 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159049881120 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27237] ppid=27225 vsize=10661128 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27237/stat : 27237 (java) S 27225 27228 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96660974 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159048828272 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27238] ppid=27225 vsize=10661128 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27238/stat : 27238 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159047776592 140159559792539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27239] ppid=27225 vsize=10661128 memory=2768 CPUtime=0.2 cores=1,3,5,7
/proc/27228/task/27239/stat : 27239 (java) R 27225 27228 24557 0 -1 4202560 978 0 0 0 20 0 0 0 20 0 15 0 96660976 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159046710520 140159539626110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27240] ppid=27225 vsize=10661128 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/27228/task/27240/stat : 27240 (java) R 27225 27228 24557 0 -1 4202560 749 0 0 0 24 0 0 0 20 0 15 0 96660976 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159045664344 140159552870374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27241] ppid=27225 vsize=10661128 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/27228/task/27241/stat : 27241 (java) R 27225 27228 24557 0 -1 1077944384 1247 0 0 0 26 0 0 0 20 0 15 0 96660976 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159044618352 140159559785090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27242] ppid=27225 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27242/stat : 27242 (java) S 27225 27228 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159043565792 140159559784149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
[pid=27228/tid=27243] ppid=27225 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27228/task/27243/stat : 27243 (java) S 27225 27228 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96660976 10916995072 16592 33554432000 4194304 4196468 140729183558944 140159042514096 140159559785090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36814848 140729183564973 140729183565065 140729183565065 140729183567823 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 66368 KiB
Child status: 0
Real time (s): 0.606815
CPU time (s): 1.48573
CPU user time (s): 1.44774
CPU system time (s): 0.03799
CPU usage (%): 244.841
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 66368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.44774
system time used= 0.03799
maximum resident set size= 69416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9816
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= 1337
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 27228
# total CPU time (s): 1.48573
# total CPU user time (s): 1.44774
# total CPU system time (s): 0.03799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021293 second user time and 0.051711 second system time
The end