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: 64096 MiB (60276 MiB free)
  memory of node 1: 64473 MiB (61480 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443054-1721306879/watcher-4443054-1721306879 -o /tmp/evaluation-result-4443054-1721306879/solver-4443054-1721306879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721304821-949917 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4443054-1721306879.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=951404, runsolver pid=951400

[startup+0.100096 s]*
/proc/loadavg: 4.09 4.18 4.17 5/249 951408
/proc/meminfo: memFree=124665676/131655788 swapFree=131071996/131071996
[pid=951404] ppid=951400 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/951404/stat : 951404 (Hybrid-LSMabSP+) S 951400 951404 949903 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 182843706 10170368 673 134679101440 93860372336640 93860373415960 140735495445760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93860375514416 93860375561604 93860404498432 140735495447527 140735495447673 140735495447673 140735495454689 0
/proc/951404/statm: 2483 673 593 264 0 134 0
[pid=951407] ppid=951404 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/951407/stat : 951407 (timeout) S 951404 951407 949903 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182843706 8867840 262 134679101440 94625568870400 94625568905416 140725514283792 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94625571002832 94625571004964 94625578811392 140725514290216 140725514290332 140725514290332 140725514297319 0
/proc/951407/statm: 2165 262 238 9 0 87 0
[pid=951408] ppid=951407 vsize=36552 memory=28848 CPUtime=0.09 cores=1,3
/proc/951408/stat : 951408 (LS-MabSP) R 951407 951407 949903 0 -1 4194304 4478 0 0 0 9 0 0 0 20 0 1 0 182843707 37429248 7212 134679101440 4194304 15467897 140723869267728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53764096 140723869275195 140723869275298 140723869275298 140723869282285 0
/proc/951408/statm: 9138 7212 2673 2753 0 5791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55144 KiB
Current children cumulated memory: 32588 KiB

[startup+0.21335 s]*
/proc/loadavg: 4.09 4.18 4.17 5/249 951408
/proc/meminfo: memFree=124637268/131655788 swapFree=131071996/131071996
[pid=951404] ppid=951400 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/951404/stat : 951404 (Hybrid-LSMabSP+) S 951400 951404 949903 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 182843706 10170368 673 134679101440 93860372336640 93860373415960 140735495445760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93860375514416 93860375561604 93860404498432 140735495447527 140735495447673 140735495447673 140735495454689 0
/proc/951404/statm: 2483 673 593 264 0 134 0
[pid=951407] ppid=951404 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/951407/stat : 951407 (timeout) S 951404 951407 949903 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182843706 8867840 262 134679101440 94625568870400 94625568905416 140725514283792 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94625571002832 94625571004964 94625578811392 140725514290216 140725514290332 140725514290332 140725514297319 0
/proc/951407/statm: 2165 262 238 9 0 87 0
[pid=951408] ppid=951407 vsize=61476 memory=51128 CPUtime=0.21 cores=1,3
/proc/951408/stat : 951408 (LS-MabSP) R 951407 951407 949903 0 -1 4194304 9975 0 0 0 20 1 0 0 20 0 1 0 182843707 62951424 12782 134679101440 4194304 15467897 140723869267728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53764096 140723869275195 140723869275298 140723869275298 140723869282285 0
/proc/951408/statm: 15369 12782 2817 2753 0 12022 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 80068 KiB
Current children cumulated memory: 54868 KiB

[startup+0.313352 s]*
/proc/loadavg: 4.09 4.18 4.17 5/249 951408
/proc/meminfo: memFree=124637084/131655788 swapFree=131071996/131071996
[pid=951404] ppid=951400 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/951404/stat : 951404 (Hybrid-LSMabSP+) S 951400 951404 949903 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 182843706 10170368 673 134679101440 93860372336640 93860373415960 140735495445760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93860375514416 93860375561604 93860404498432 140735495447527 140735495447673 140735495447673 140735495454689 0
/proc/951404/statm: 2483 673 593 264 0 134 0
[pid=951407] ppid=951404 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/951407/stat : 951407 (timeout) S 951404 951407 949903 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182843706 8867840 262 134679101440 94625568870400 94625568905416 140725514283792 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94625571002832 94625571004964 94625578811392 140725514290216 140725514290332 140725514290332 140725514297319 0
/proc/951407/statm: 2165 262 238 9 0 87 0
[pid=951408] ppid=951407 vsize=61476 memory=51128 CPUtime=0.31 cores=1,3
/proc/951408/stat : 951408 (LS-MabSP) R 951407 951407 949903 0 -1 4194304 9975 0 0 0 30 1 0 0 20 0 1 0 182843707 62951424 12782 134679101440 4194304 15467897 140723869267728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53764096 140723869275195 140723869275298 140723869275298 140723869282285 0
/proc/951408/statm: 15369 12782 2817 2753 0 12022 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 80068 KiB
Current children cumulated memory: 54868 KiB

[startup+0.700397 s]
/proc/loadavg: 4.09 4.18 4.17 5/249 951408
/proc/meminfo: memFree=124636984/131655788 swapFree=131071996/131071996
[pid=951404] ppid=951400 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/951404/stat : 951404 (Hybrid-LSMabSP+) S 951400 951404 949903 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 182843706 10170368 673 134679101440 93860372336640 93860373415960 140735495445760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93860375514416 93860375561604 93860404498432 140735495447527 140735495447673 140735495447673 140735495454689 0
/proc/951404/statm: 2483 673 593 264 0 134 0
[pid=951407] ppid=951404 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/951407/stat : 951407 (timeout) S 951404 951407 949903 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182843706 8867840 262 134679101440 94625568870400 94625568905416 140725514283792 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94625571002832 94625571004964 94625578811392 140725514290216 140725514290332 140725514290332 140725514297319 0
/proc/951407/statm: 2165 262 238 9 0 87 0
[pid=951408] ppid=951407 vsize=61476 memory=51128 CPUtime=0.68 cores=1,3
/proc/951408/stat : 951408 (LS-MabSP) R 951407 951407 949903 0 -1 4194304 9976 0 0 0 67 1 0 0 20 0 1 0 182843707 62951424 12782 134679101440 4194304 15467897 140723869267728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53764096 140723869275195 140723869275298 140723869275298 140723869282285 0
/proc/951408/statm: 15369 12782 2817 2753 0 12022 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80068 KiB
Current children cumulated memory: 54868 KiB

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

# cumulated CPU time of all completed processes:  user=1.43586 s, system=0.022962 s

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

[startup+0.800456 s]
/proc/loadavg: 4.09 4.18 4.17 5/249 951408
/proc/meminfo: memFree=124636984/131655788 swapFree=131071996/131071996
[pid=951404] ppid=951400 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/951404/stat : 951404 (Hybrid-LSMabSP+) S 951400 951404 949903 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 182843706 10170368 673 134679101440 93860372336640 93860373415960 140735495445760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93860375514416 93860375561604 93860404498432 140735495447527 140735495447673 140735495447673 140735495454689 0
/proc/951404/statm: 2483 673 593 264 0 134 0
[pid=951407] ppid=951404 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/951407/stat : 951407 (timeout) S 951404 951407 949903 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182843706 8867840 262 134679101440 94625568870400 94625568905416 140725514283792 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94625571002832 94625571004964 94625578811392 140725514290216 140725514290332 140725514290332 140725514297319 0
/proc/951407/statm: 2165 262 238 9 0 87 0
[pid=951408] ppid=951407 vsize=61476 memory=51392 CPUtime=0.78 cores=1,3
/proc/951408/stat : 951408 (LS-MabSP) R 951407 951407 949903 0 -1 4194304 9997 0 0 0 77 1 0 0 20 0 1 0 182843707 62951424 12848 134679101440 4194304 15467897 140723869267728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53764096 140723869275195 140723869275298 140723869275298 140723869282285 0
/proc/951408/statm: 15369 12848 2817 2753 0 12022 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 80068 KiB
Current children cumulated memory: 55132 KiB

[startup+1.20035 s]
/proc/loadavg: 4.09 4.18 4.17 5/249 951408
/proc/meminfo: memFree=124636440/131655788 swapFree=131071996/131071996
[pid=951404] ppid=951400 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/951404/stat : 951404 (Hybrid-LSMabSP+) S 951400 951404 949903 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 182843706 10170368 673 134679101440 93860372336640 93860373415960 140735495445760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93860375514416 93860375561604 93860404498432 140735495447527 140735495447673 140735495447673 140735495454689 0
/proc/951404/statm: 2483 673 593 264 0 134 0
[pid=951407] ppid=951404 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/951407/stat : 951407 (timeout) S 951404 951407 949903 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182843706 8867840 262 134679101440 94625568870400 94625568905416 140725514283792 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94625571002832 94625571004964 94625578811392 140725514290216 140725514290332 140725514290332 140725514297319 0
/proc/951407/statm: 2165 262 238 9 0 87 0
[pid=951408] ppid=951407 vsize=61948 memory=51716 CPUtime=1.18 cores=1,3
/proc/951408/stat : 951408 (LS-MabSP) R 951407 951407 949903 0 -1 4194304 10101 0 0 0 117 1 0 0 20 0 1 0 182843707 63434752 12929 134679101440 4194304 15467897 140723869267728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53764096 140723869275195 140723869275298 140723869275298 140723869282285 0
/proc/951408/statm: 15487 12929 2833 2753 0 12140 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 80540 KiB
Current children cumulated memory: 55456 KiB

[startup+1.40036 s]
/proc/loadavg: 4.09 4.18 4.17 5/249 951408
/proc/meminfo: memFree=124636440/131655788 swapFree=131071996/131071996
[pid=951404] ppid=951400 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/951404/stat : 951404 (Hybrid-LSMabSP+) S 951400 951404 949903 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 182843706 10170368 673 134679101440 93860372336640 93860373415960 140735495445760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93860375514416 93860375561604 93860404498432 140735495447527 140735495447673 140735495447673 140735495454689 0
/proc/951404/statm: 2483 673 593 264 0 134 0
[pid=951407] ppid=951404 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/951407/stat : 951407 (timeout) S 951404 951407 949903 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182843706 8867840 262 134679101440 94625568870400 94625568905416 140725514283792 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94625571002832 94625571004964 94625578811392 140725514290216 140725514290332 140725514290332 140725514297319 0
/proc/951407/statm: 2165 262 238 9 0 87 0
[pid=951408] ppid=951407 vsize=61948 memory=51716 CPUtime=1.38 cores=1,3
/proc/951408/stat : 951408 (LS-MabSP) R 951407 951407 949903 0 -1 4194304 10101 0 0 0 137 1 0 0 20 0 1 0 182843707 63434752 12929 134679101440 4194304 15467897 140723869267728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53764096 140723869275195 140723869275298 140723869275298 140723869282285 0
/proc/951408/statm: 15487 12929 2833 2753 0 12140 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 80540 KiB
Current children cumulated memory: 55456 KiB

Child status: 0

Real time (s): 1.46251
CPU time (s): 1.45883
CPU user time (s): 1.43586
CPU system time (s): 0.022962
CPU usage (%): 99.7481
Max. virtual memory (cumulated for all children) (KiB): 80540
Max. memory (cumulated for all children) (KiB): 55456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43586
system time used= 0.022962
maximum resident set size= 51716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 2


# summary of solver processes directly reported to runsolver:
#   pid: 951404
#   total CPU time (s): 1.45883
#   total CPU user time (s): 1.43586
#   total CPU system time (s): 0.022962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034751 second user time and 0.073963 second system time

The end