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 (15087 MiB free)
  memory of node 1: 16384 MiB (15330 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391659-1568311696/watcher-4391659-1568311696 -o /tmp/evaluation-result-4391659-1568311696/solver-4391659-1568311696 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568305658-21707 --watchdog 2560 nacre_mini_release HOME/instance-4391659-1568311696.xml -complete -l100 -cm 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=23390, runsolver pid=23387

[startup+0.10018 s]*
/proc/loadavg: 1.93 1.99 2.03 3/199 23391
/proc/meminfo: memFree=31075692/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=115088 memory=83228 CPUtime=0.1 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 14801 0 0 0 7 3 0 0 20 0 1 0 407441028 117850112 20807 33554432000 4194304 4935366 140735556355776 140735556352776 140235059252197 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 28772 20807 512 181 0 22389 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115088 KiB
Current children cumulated memory: 83228 KiB

[startup+0.210351 s]*
/proc/loadavg: 1.93 1.99 2.03 3/199 23391
/proc/meminfo: memFree=30994296/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=185360 memory=159056 CPUtime=0.21 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 32251 0 0 0 16 5 0 0 20 0 1 0 407441028 189808640 39764 33554432000 4194304 4935366 140735556355776 140735556352776 140235059252197 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 46340 39764 574 181 0 39957 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 185360 KiB
Current children cumulated memory: 159056 KiB

[startup+0.310153 s]*
/proc/loadavg: 1.93 1.99 2.03 3/199 23391
/proc/meminfo: memFree=30961560/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=219184 memory=191792 CPUtime=0.31 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 40415 0 0 0 25 6 0 0 20 0 1 0 407441028 224444416 47948 33554432000 4194304 4935366 140735556355776 140735556352776 140235059243013 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 54796 47948 574 181 0 48413 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 219184 KiB
Current children cumulated memory: 191792 KiB

[startup+0.700372 s]
/proc/loadavg: 1.93 1.99 2.03 3/199 23391
/proc/meminfo: memFree=30897816/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=341452 memory=309536 CPUtime=0.69 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 69878 0 0 0 59 10 0 0 20 0 1 0 407441028 349646848 77384 33554432000 4194304 4935366 140735556355776 140735556350344 140235059247934 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 85363 77384 574 181 0 78980 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 341452 KiB
Current children cumulated memory: 309536 KiB

[startup+1.50037 s]
/proc/loadavg: 1.93 1.99 2.03 3/199 23391
/proc/meminfo: memFree=30752496/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=572152 memory=532352 CPUtime=1.49 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 125607 0 0 0 133 16 0 0 20 0 1 0 407441028 585883648 133088 33554432000 4194304 4935366 140735556355776 140735556350344 140235059251289 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 143038 133088 574 181 0 136655 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 572152 KiB
Current children cumulated memory: 532352 KiB

[startup+3.10981 s]
/proc/loadavg: 1.93 1.99 2.03 3/199 23391
/proc/meminfo: memFree=30224676/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=1005268 memory=950596 CPUtime=3.1 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 239649 0 0 0 280 30 0 0 20 0 1 0 407441028 1029394432 237649 33554432000 4194304 4935366 140735556355776 140735556350344 4271828 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 251317 237649 574 181 0 244934 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1005268 KiB
Current children cumulated memory: 950596 KiB

[startup+6.30037 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 23393
/proc/meminfo: memFree=29707956/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=1509940 memory=1438520 CPUtime=6.29 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 523667 0 0 0 578 51 0 0 20 0 1 0 407441028 1546178560 359630 33554432000 4194304 4935366 140735556355776 140735556354296 4390143 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 377485 359630 598 181 0 371102 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1509940 KiB
Current children cumulated memory: 1438520 KiB

[startup+7.21143 s]
# the end of solver process 23390 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.58087 s, system=0.630033 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40039 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 23393
/proc/meminfo: memFree=29707956/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=1509940 memory=1438520 CPUtime=6.39 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 548696 0 0 0 587 52 0 0 20 0 1 0 407441028 1546178560 359630 33554432000 4194304 4935366 140735556355776 140735556354296 4390456 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 377485 359630 598 181 0 371102 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 1509940 KiB
Current children cumulated memory: 1438520 KiB

[startup+6.80034 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 23393
/proc/meminfo: memFree=29707956/32770624 swapFree=66933312/67108860
[pid=23390] ppid=23387 vsize=1509940 memory=1438520 CPUtime=6.79 cores=0,2,4,6
/proc/23390/stat : 23390 (nacre_mini_rele) R 23387 23390 19999 0 -1 4202496 598916 0 0 0 625 54 0 0 20 0 1 0 407441028 1546178560 359630 33554432000 4194304 4935366 140735556355776 140735556354296 4390489 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9109504 140735556363259 140735556363365 140735556363365 140735556366274 0
/proc/23390/statm: 377485 359630 598 181 0 371102 0
Current children cumulated CPU time: 6.79 s
Current children cumulated vsize: 1509940 KiB
Current children cumulated memory: 1438520 KiB

[startup+7.20034 s]*
/proc/loadavg: 1.93 1.99 2.03 3/200 23393
/proc/meminfo: memFree=30946072/32770624 swapFree=66933312/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10
Real time (s): 7.21149
CPU time (s): 7.21091
CPU user time (s): 6.58087
CPU system time (s): 0.630033
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 1509940
Max. memory (cumulated for all children) (KiB): 1438552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.58087
system time used= 0.630033
maximum resident set size= 1438604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 8


# summary of solver processes directly reported to runsolver:
#   pid: 23390
#   total CPU time (s): 7.21091
#   total CPU user time (s): 6.58087
#   total CPU system time (s): 0.630033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062751 second user time and 0.090035 second system time

The end