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 (15134 MiB free)
memory of node 1: 16384 MiB (11142 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299932-1532819811/watcher-4299932-1532819811 -o /tmp/evaluation-result-4299932-1532819811/solver-4299932-1532819811 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532809907-31740 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299932-1532819811.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=325, runsolver pid=322
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 1.76 1.43 1.36 3/215 342
/proc/meminfo: memFree=26890580/32770624 swapFree=67108496/67108860
[pid=325] ppid=322 vsize=10661052 memory=29260 CPUtime=0.11 cores=0,2,4,6
/proc/325/stat : 325 (java) S 322 325 31709 0 -1 1077944320 5201 0 0 0 10 1 0 0 20 0 15 0 99544276 10916917248 7315 33554432000 4194304 4196468 140737347489216 140737347471760 139789348585207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
/proc/325/statm: 2665263 7315 2835 1 0 2627263 0
[pid=325/tid=327] ppid=322 vsize=10661052 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/325/task/327/stat : 327 (java) R 322 325 31709 0 -1 4202560 3156 0 0 0 8 1 0 0 20 0 15 0 99544276 10916917248 7447 33554432000 4194304 4196468 140737347489216 139789352813312 139788986363618 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=328] ppid=322 vsize=10661052 memory=364 CPUtime=0 cores=0,2,4,6
/proc/325/task/328/stat : 328 (java) S 322 325 31709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99544277 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788955757072 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=329] ppid=322 vsize=10661052 memory=3835010901839726240 CPUtime=0 cores=0,2,4,6
/proc/325/task/329/stat : 329 (java) S 322 325 31709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99544277 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788954704528 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=330] ppid=322 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/325/task/330/stat : 330 (java) S 322 325 31709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99544277 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788953651472 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=331] ppid=322 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/325/task/331/stat : 331 (java) S 322 325 31709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99544277 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788952598928 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=332] ppid=322 vsize=10661052 memory=140606490035840 CPUtime=0 cores=0,2,4,6
/proc/325/task/332/stat : 332 (java) S 322 325 31709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99544278 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788908325616 139789348596354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=333] ppid=322 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/325/task/333/stat : 333 (java) S 322 325 31709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99544278 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788907271840 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=334] ppid=322 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/325/task/334/stat : 334 (java) S 322 325 31709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99544279 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788906218736 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=335] ppid=322 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/325/task/335/stat : 335 (java) S 322 325 31709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99544281 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788448426448 139789348603803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=336] ppid=322 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/325/task/336/stat : 336 (java) S 322 325 31709 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 99544281 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788447373552 139789348596354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=337] ppid=322 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/325/task/337/stat : 337 (java) R 322 325 31709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 99544281 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788446321008 139789348597142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=338] ppid=322 vsize=10661052 memory=140606490035840 CPUtime=0.01 cores=0,2,4,6
/proc/325/task/338/stat : 338 (java) R 322 325 31709 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 15 0 99544281 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788445267952 139789348606554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=341] ppid=322 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/325/task/341/stat : 341 (java) S 322 325 31709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99544281 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788444215648 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=342] ppid=322 vsize=10661052 memory=140606490035840 CPUtime=0 cores=0,2,4,6
/proc/325/task/342/stat : 342 (java) S 322 325 31709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99544281 10916917248 7447 33554432000 4194304 4196468 140737347489216 139788443163696 139789348596354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 29260 KiB
[startup+0.210466 s]*
/proc/loadavg: 1.76 1.43 1.36 5/215 342
/proc/meminfo: memFree=26877664/32770624 swapFree=67108496/67108860
[pid=325] ppid=322 vsize=10661052 memory=42080 CPUtime=0.32 cores=0,2,4,6
/proc/325/stat : 325 (java) S 322 325 31709 0 -1 1077944320 8090 0 0 0 29 3 0 0 20 0 15 0 99544276 10916917248 10520 33554432000 4194304 4196468 140737347489216 140737347471760 139789348585207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
/proc/325/statm: 2665263 10520 2959 1 0 2627263 0
[pid=325/tid=327] ppid=322 vsize=10661128 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/325/task/327/stat : 327 (java) R 322 325 31709 0 -1 4202560 5243 0 0 0 18 1 0 0 20 0 15 0 99544276 10916995072 10609 33554432000 4194304 4196468 140737347489216 139789352817520 139789348607133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=328] ppid=322 vsize=10661128 memory=364 CPUtime=0 cores=0,2,4,6
/proc/325/task/328/stat : 328 (java) S 322 325 31709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99544277 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788955757072 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=329] ppid=322 vsize=10661128 memory=3835010901839726240 CPUtime=0 cores=0,2,4,6
/proc/325/task/329/stat : 329 (java) S 322 325 31709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99544277 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788954704528 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=330] ppid=322 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/325/task/330/stat : 330 (java) S 322 325 31709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99544277 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788953651472 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=331] ppid=322 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/325/task/331/stat : 331 (java) S 322 325 31709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99544277 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788952598928 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=332] ppid=322 vsize=10661128 memory=140606490035840 CPUtime=0 cores=0,2,4,6
/proc/325/task/332/stat : 332 (java) S 322 325 31709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99544278 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788908325616 139789348596354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=333] ppid=322 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/325/task/333/stat : 333 (java) S 322 325 31709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99544278 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788907271840 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=334] ppid=322 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/325/task/334/stat : 334 (java) S 322 325 31709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99544279 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788906218736 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=335] ppid=322 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/325/task/335/stat : 335 (java) S 322 325 31709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99544281 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788448426448 139789348603803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=336] ppid=322 vsize=10661128 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/325/task/336/stat : 336 (java) S 322 325 31709 0 -1 1077944384 705 0 0 0 2 0 0 0 20 0 15 0 99544281 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788447373552 139789348596354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=337] ppid=322 vsize=10661128 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/325/task/337/stat : 337 (java) S 322 325 31709 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 15 0 99544281 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788446321008 139789348596354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=338] ppid=322 vsize=10661128 memory=140606490035840 CPUtime=0.06 cores=0,2,4,6
/proc/325/task/338/stat : 338 (java) S 322 325 31709 0 -1 1077944384 804 0 0 0 6 0 0 0 20 0 15 0 99544281 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788445267952 139789348596354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=341] ppid=322 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/325/task/341/stat : 341 (java) S 322 325 31709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99544281 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788444215648 139789348595413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
[pid=325/tid=342] ppid=322 vsize=10661128 memory=140606490035840 CPUtime=0 cores=0,2,4,6
/proc/325/task/342/stat : 342 (java) S 322 325 31709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99544281 10916995072 10609 33554432000 4194304 4196468 140737347489216 139788443163696 139789348596354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6500352 140737347490989 140737347491081 140737347491081 140737347493839 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 42080 KiB
[startup+0.310074 s]
# the end of solver process 325 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.476056 s, system=0.043567 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.31011
CPU time (s): 0.519623
CPU user time (s): 0.476056
CPU system time (s): 0.043567
CPU usage (%): 167.561
Max. virtual memory (cumulated for all children) (KiB): 10661052
Max. memory (cumulated for all children) (KiB): 42080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.476056
system time used= 0.043567
maximum resident set size= 48304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8693
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= 958
involuntary context switches= 1
# summary of solver processes directly reported to runsolver:
# pid: 325
# total CPU time (s): 0.519623
# total CPU user time (s): 0.476056
# total CPU system time (s): 0.043567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015356 second user time and 0.026618 second system time
The end