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: 63708 MiB (61997 MiB free)
  memory of node 1: 64465 MiB (62372 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545635-1753259729/watcher-4545635-1753259729 -o /tmp/evaluation-result-4545635-1753259729/solver-4545635-1753259729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753259701-166036 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545635-1753259729.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=166232, runsolver pid=166224
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 1.81 0.50 0.23 2/256 166233
/proc/meminfo: memFree=127354868/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=17104 memory=640 CPUtime=0 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) D 166224 166232 166016 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241647714 17514496 160 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB

[startup+0.204709 s]*
/proc/loadavg: 1.81 0.50 0.23 5/260 166237
/proc/meminfo: memFree=127353920/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=87316 memory=18668 CPUtime=0.05 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 1645 0 0 0 5 0 0 0 20 0 1 0 241647714 89411584 4667 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 21829 4667 2240 595 0 6496 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 87316 KiB
Current children cumulated memory: 18668 KiB

[startup+0.304399 s]*
/proc/loadavg: 1.81 0.50 0.23 4/260 166237
/proc/meminfo: memFree=127341336/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=92856 memory=26196 CPUtime=0.15 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 3063 0 0 0 14 1 0 0 20 0 1 0 241647714 95084544 6549 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 23214 6549 2240 595 0 7881 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 92856 KiB
Current children cumulated memory: 26196 KiB

[startup+0.700169 s]
/proc/loadavg: 1.81 0.50 0.23 4/260 166237
/proc/meminfo: memFree=127255460/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=153168 memory=83260 CPUtime=0.53 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 14174 0 0 0 50 3 0 0 20 0 1 0 241647714 156844032 20815 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 38292 20815 2464 595 0 22959 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 153168 KiB
Current children cumulated memory: 83260 KiB

[startup+1.50017 s]
/proc/loadavg: 1.81 0.50 0.23 4/262 166241
/proc/meminfo: memFree=127073308/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=1.34 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23446 0 0 0 127 7 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+3.10543 s]
/proc/loadavg: 1.98 0.56 0.25 4/260 166261
/proc/meminfo: memFree=126339760/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=2.94 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23447 0 0 0 284 10 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+6.30015 s]
/proc/loadavg: 1.98 0.56 0.25 5/264 166274
/proc/meminfo: memFree=126275752/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=6.12 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23448 0 0 0 597 15 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+12.7002 s]
/proc/loadavg: 2.29 0.67 0.29 5/264 166274
/proc/meminfo: memFree=126303952/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=12.49 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23449 0 0 0 1222 27 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+25.5002 s]
/proc/loadavg: 2.56 0.78 0.33 3/256 166290
/proc/meminfo: memFree=126863232/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=25.24 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23449 0 0 0 2475 49 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+51.1054 s]
/proc/loadavg: 3.25 1.09 0.44 3/260 166418
/proc/meminfo: memFree=127119496/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=50.76 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23453 0 0 0 4984 92 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+66.8393 s]
# the end of solver process 166232 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=65.3666 s, system=1.08816 s

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

[startup+51.2002 s]
/proc/loadavg: 3.25 1.09 0.44 3/260 166418
/proc/meminfo: memFree=127119496/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=50.85 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23453 0 0 0 4993 92 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+57.6001 s]
/proc/loadavg: 3.36 1.19 0.48 5/264 166455
/proc/meminfo: memFree=126714284/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=57.24 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23453 0 0 0 5621 103 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 57.24 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+60.8001 s]
/proc/loadavg: 3.36 1.19 0.48 5/264 166455
/proc/meminfo: memFree=126707280/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=194276 memory=120508 CPUtime=60.42 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 23457 0 0 0 5935 107 0 0 20 0 1 0 241647714 198938624 30127 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 48569 30127 2496 595 0 33236 0
Current children cumulated CPU time: 60.42 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 120508 KiB

[startup+64.0001 s]*
/proc/loadavg: 3.42 1.23 0.50 5/264 166455
/proc/meminfo: memFree=126707540/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=199360 memory=129452 CPUtime=63.62 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 24647 0 0 0 6254 108 0 0 20 0 1 0 241647714 204144640 32363 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 49840 32363 2528 595 0 34507 0
Current children cumulated CPU time: 63.62 s
Current children cumulated vsize: 199360 KiB
Current children cumulated memory: 129452 KiB

[startup+65.6002 s]
/proc/loadavg: 3.42 1.23 0.50 5/264 166455
/proc/meminfo: memFree=126707540/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=199624 memory=131876 CPUtime=65.21 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 24717 0 0 0 6413 108 0 0 20 0 1 0 241647714 204414976 32969 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 49906 32969 2528 595 0 34573 0
Current children cumulated CPU time: 65.21 s
Current children cumulated vsize: 199624 KiB
Current children cumulated memory: 131876 KiB

[startup+66.4001 s]
/proc/loadavg: 3.42 1.23 0.50 5/264 166455
/proc/meminfo: memFree=126707792/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=199624 memory=131876 CPUtime=66.01 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 24717 0 0 0 6493 108 0 0 20 0 1 0 241647714 204414976 32969 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 49906 32969 2528 595 0 34573 0
Current children cumulated CPU time: 66.01 s
Current children cumulated vsize: 199624 KiB
Current children cumulated memory: 131876 KiB

[startup+66.8001 s]
/proc/loadavg: 3.42 1.23 0.50 5/264 166455
/proc/meminfo: memFree=126707792/131249992 swapFree=33009392/33010684
[pid=166232] ppid=166224 vsize=199624 memory=131876 CPUtime=66.41 cores=5,7
/proc/166232/stat : 166232 (SynLSCD) R 166224 166232 166016 0 -1 4194304 24717 0 0 0 6533 108 0 0 20 0 1 0 241647714 204414976 32969 18446744073709551615 94880094420992 94880096855593 140728905755120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94880097336568 94880097369600 94880109199360 140728905759107 140728905759242 140728905759242 140728905764846 0
/proc/166232/statm: 49906 32969 2528 595 0 34573 0
Current children cumulated CPU time: 66.41 s
Current children cumulated vsize: 199624 KiB
Current children cumulated memory: 131876 KiB

Child status: 30

Real time (s): 66.8393
CPU time (s): 66.4548
CPU user time (s): 65.3666
CPU system time (s): 1.08816
CPU usage (%): 99.4246
Max. virtual memory (cumulated for all children) (KiB): 199624
Max. memory (cumulated for all children) (KiB): 131876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.3666
system time used= 1.08816
maximum resident set size= 131876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24744
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= 156
involuntary context switches= 360


# summary of solver processes directly reported to runsolver:
#   pid: 166232
#   total CPU time (s): 66.4548
#   total CPU user time (s): 65.3666
#   total CPU system time (s): 1.08816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14052 second user time and 0.300425 second system time

The end