runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (62452 MiB free)
  memory of node 1: 64473 MiB (62011 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445947-1721327441/watcher-4445947-1721327441 -o /tmp/evaluation-result-4445947-1721327441/solver-4445947-1721327441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721319697-968103 --watchdog 3760 ./LS-MabS -f HOME/instance-4445947-1721327441.opb -t 3600 -s 350740461 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=973572, runsolver pid=973569

[startup+0.100195 s]*
/proc/loadavg: 4.07 4.08 4.09 5/257 973573
/proc/meminfo: memFree=127424332/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=45496 memory=35232 CPUtime=0.09 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 6996 0 0 0 9 0 0 0 20 0 1 0 184909034 46587904 8808 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 11374 8808 2397 2403 0 8484 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45496 KiB
Current children cumulated memory: 35232 KiB

[startup+0.205245 s]*
/proc/loadavg: 4.07 4.08 4.09 5/257 973573
/proc/meminfo: memFree=127421896/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=47824 memory=37716 CPUtime=0.19 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 7570 0 0 0 19 0 0 0 20 0 1 0 184909034 48971776 9429 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 11956 9429 2445 2403 0 9066 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47824 KiB
Current children cumulated memory: 37716 KiB

[startup+0.305304 s]*
/proc/loadavg: 4.07 4.08 4.09 5/257 973573
/proc/meminfo: memFree=127421784/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=47824 memory=37716 CPUtime=0.29 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 7571 0 0 0 29 0 0 0 20 0 1 0 184909034 48971776 9429 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 11956 9429 2445 2403 0 9066 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47824 KiB
Current children cumulated memory: 37716 KiB

[startup+0.700228 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 973573
/proc/meminfo: memFree=127421420/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=48004 memory=37980 CPUtime=0.68 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 7618 0 0 0 68 0 0 0 20 0 1 0 184909034 49156096 9495 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 12001 9495 2445 2403 0 9111 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48004 KiB
Current children cumulated memory: 37980 KiB

[startup+1.50022 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 973573
/proc/meminfo: memFree=127421420/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=48632 memory=38548 CPUtime=1.48 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 7822 0 0 0 148 0 0 0 20 0 1 0 184909034 49799168 9637 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 12158 9637 2461 2403 0 9268 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48632 KiB
Current children cumulated memory: 38548 KiB

[startup+3.10525 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 973574
/proc/meminfo: memFree=127409972/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=59680 memory=48908 CPUtime=3.08 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 11963 0 0 0 307 1 0 0 20 0 1 0 184909034 61112320 12227 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 14920 12227 2477 2403 0 12030 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59680 KiB
Current children cumulated memory: 48908 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 973574
/proc/meminfo: memFree=127409952/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=64840 memory=53640 CPUtime=6.26 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 13130 0 0 0 625 1 0 0 20 0 1 0 184909034 66396160 13410 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 16210 13410 2477 2403 0 13320 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 64840 KiB
Current children cumulated memory: 53640 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 973574
/proc/meminfo: memFree=127396756/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=65000 memory=54432 CPUtime=12.64 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 13355 0 0 0 1263 1 0 0 20 0 1 0 184909034 66560000 13608 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 16250 13608 2477 2403 0 13360 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 65000 KiB
Current children cumulated memory: 54432 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 973577
/proc/meminfo: memFree=127395560/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=65000 memory=54432 CPUtime=25.4 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 13356 0 0 0 2539 1 0 0 20 0 1 0 184909034 66560000 13608 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 16250 13608 2477 2403 0 13360 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 65000 KiB
Current children cumulated memory: 54432 KiB

[startup+51.1052 s]
/proc/loadavg: 4.21 4.12 4.10 5/257 973580
/proc/meminfo: memFree=127390904/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=67688 memory=57944 CPUtime=50.91 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 15220 0 0 0 5090 1 0 0 20 0 1 0 184909034 69312512 14486 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 16922 14486 2477 2403 0 14032 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 67688 KiB
Current children cumulated memory: 57944 KiB

[startup+92.3823 s]
# the end of solver process 973572 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=92.0164 s, system=0.036732 s

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

[startup+51.2003 s]
/proc/loadavg: 4.21 4.12 4.10 5/257 973580
/proc/meminfo: memFree=127390904/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=67688 memory=57944 CPUtime=51.01 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 15220 0 0 0 5100 1 0 0 20 0 1 0 184909034 69312512 14486 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 16922 14486 2477 2403 0 14032 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 67688 KiB
Current children cumulated memory: 57944 KiB

[startup+76.8002 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 973586
/proc/meminfo: memFree=127383736/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=74544 memory=64548 CPUtime=76.52 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 17492 0 0 0 7650 2 0 0 20 0 1 0 184909034 76333056 16137 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 18636 16137 2477 2403 0 15746 0
Current children cumulated CPU time: 76.52 s
Current children cumulated vsize: 74544 KiB
Current children cumulated memory: 64548 KiB

[startup+83.2002 s]
/proc/loadavg: 4.21 4.12 4.10 5/258 973588
/proc/meminfo: memFree=127363572/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=90692 memory=79244 CPUtime=82.89 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 21225 0 0 0 8287 2 0 0 20 0 1 0 184909034 92868608 19811 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 22673 19811 2477 2403 0 19783 0
Current children cumulated CPU time: 82.89 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 79244 KiB

[startup+86.4002 s]
/proc/loadavg: 4.19 4.12 4.10 5/258 973588
/proc/meminfo: memFree=127363516/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=90692 memory=79244 CPUtime=86.08 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 21231 0 0 0 8606 2 0 0 20 0 1 0 184909034 92868608 19811 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 22673 19811 2477 2403 0 19783 0
Current children cumulated CPU time: 86.08 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 79244 KiB

[startup+89.6002 s]
/proc/loadavg: 4.19 4.12 4.10 5/258 973588
/proc/meminfo: memFree=127362508/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=90692 memory=79244 CPUtime=89.27 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 21232 0 0 0 8925 2 0 0 20 0 1 0 184909034 92868608 19811 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 22673 19811 2477 2403 0 19783 0
Current children cumulated CPU time: 89.27 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 79244 KiB

[startup+91.2002 s]
/proc/loadavg: 4.18 4.12 4.10 5/258 973588
/proc/meminfo: memFree=127362500/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=90692 memory=79244 CPUtime=90.86 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 21232 0 0 0 9084 2 0 0 20 0 1 0 184909034 92868608 19811 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 22673 19811 2477 2403 0 19783 0
Current children cumulated CPU time: 90.86 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 79244 KiB

[startup+92.0002 s]*
/proc/loadavg: 4.18 4.12 4.10 5/258 973588
/proc/meminfo: memFree=127362368/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=90692 memory=79244 CPUtime=91.66 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 21232 0 0 0 9164 2 0 0 20 0 1 0 184909034 92868608 19811 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 22673 19811 2477 2403 0 19783 0
Current children cumulated CPU time: 91.66 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 79244 KiB

[startup+92.2002 s]
/proc/loadavg: 4.18 4.12 4.10 5/258 973588
/proc/meminfo: memFree=127362368/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=90692 memory=79244 CPUtime=91.86 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 21232 0 0 0 9184 2 0 0 20 0 1 0 184909034 92868608 19811 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 22673 19811 2477 2403 0 19783 0
Current children cumulated CPU time: 91.86 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 79244 KiB

[startup+92.3002 s]
/proc/loadavg: 4.18 4.12 4.10 5/258 973588
/proc/meminfo: memFree=127362368/131524600 swapFree=131070704/131071996
[pid=973572] ppid=973569 vsize=90692 memory=79244 CPUtime=91.96 cores=0,2
/proc/973572/stat : 973572 (LS-MabS) R 973569 973572 968093 0 -1 4194304 21232 0 0 0 9194 2 0 0 20 0 1 0 184909034 92868608 19811 134679101440 4194304 14036057 140735054186640 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 27332608 140735054189601 140735054189702 140735054189702 140735054196718 0
/proc/973572/statm: 22673 19811 2477 2403 0 19783 0
Current children cumulated CPU time: 91.96 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 79244 KiB

Child status: 0

Real time (s): 92.3824
CPU time (s): 92.0531
CPU user time (s): 92.0164
CPU system time (s): 0.036732
CPU usage (%): 99.6436
Max. virtual memory (cumulated for all children) (KiB): 90692
Max. memory (cumulated for all children) (KiB): 79244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.0164
system time used= 0.036732
maximum resident set size= 79244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21263
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= 2
involuntary context switches= 654


# summary of solver processes directly reported to runsolver:
#   pid: 973572
#   total CPU time (s): 92.0531
#   total CPU user time (s): 92.0164
#   total CPU system time (s): 0.036732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.210434 second user time and 0.397489 second system time

The end