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: 63665 MiB (62422 MiB free)
  memory of node 1: 64507 MiB (63572 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
solver pid=168905, runsolver pid=168901
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 3.41 1.05 0.42 3/262 168906
/proc/meminfo: memFree=128978700/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) D 168901 168905 168516 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241654665 17514496 160 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/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.20481 s]*
/proc/loadavg: 3.41 1.05 0.42 3/262 168906
/proc/meminfo: memFree=128938396/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) D 168901 168905 168516 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241654665 17514496 160 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/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.304403 s]*
/proc/loadavg: 3.41 1.05 0.42 4/262 168906
/proc/meminfo: memFree=128938396/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) D 168901 168905 168516 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241654665 17514496 160 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/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.70012 s]
/proc/loadavg: 3.41 1.05 0.42 4/266 168910
/proc/meminfo: memFree=128938252/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=126716 memory=57060 CPUtime=0.19 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 9619 0 0 0 17 2 0 0 20 0 1 0 241654665 129757184 14265 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 31679 14265 2400 595 0 16346 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126716 KiB
Current children cumulated memory: 57060 KiB

[startup+1.50017 s]
/proc/loadavg: 3.41 1.05 0.42 5/266 168910
/proc/meminfo: memFree=128836972/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=145232 memory=73504 CPUtime=0.99 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 15114 0 0 0 96 3 0 0 20 0 1 0 241654665 148717568 18376 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 36308 18376 2464 595 0 20975 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 145232 KiB
Current children cumulated memory: 73504 KiB

[startup+3.10555 s]
/proc/loadavg: 3.54 1.12 0.45 5/266 168910
/proc/meminfo: memFree=128579328/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=145232 memory=73504 CPUtime=2.6 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 15114 0 0 0 257 3 0 0 20 0 1 0 241654665 148717568 18376 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 36308 18376 2464 595 0 20975 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 145232 KiB
Current children cumulated memory: 73504 KiB

[startup+6.30018 s]
/proc/loadavg: 3.54 1.12 0.45 5/266 168910
/proc/meminfo: memFree=127385604/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=145232 memory=73504 CPUtime=5.78 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 15114 0 0 0 575 3 0 0 20 0 1 0 241654665 148717568 18376 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 36308 18376 2464 595 0 20975 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 145232 KiB
Current children cumulated memory: 73504 KiB

[startup+12.7002 s]
/proc/loadavg: 3.68 1.23 0.49 5/266 168910
/proc/meminfo: memFree=127381768/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=145232 memory=73504 CPUtime=12.16 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 15114 0 0 0 1213 3 0 0 20 0 1 0 241654665 148717568 18376 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 36308 18376 2464 595 0 20975 0
Current children cumulated CPU time: 12.16 s
Current children cumulated vsize: 145232 KiB
Current children cumulated memory: 73504 KiB

[startup+25.5002 s]
/proc/loadavg: 3.73 1.32 0.53 5/266 168911
/proc/meminfo: memFree=127390068/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=145232 memory=73504 CPUtime=24.9 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 15114 0 0 0 2487 3 0 0 20 0 1 0 241654665 148717568 18376 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 36308 18376 2464 595 0 20975 0
Current children cumulated CPU time: 24.9 s
Current children cumulated vsize: 145232 KiB
Current children cumulated memory: 73504 KiB

[startup+51.1057 s]
/proc/loadavg: 3.88 1.55 0.63 5/266 168911
/proc/meminfo: memFree=127382128/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=151392 memory=81616 CPUtime=50.41 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16653 0 0 0 5037 4 0 0 20 0 1 0 241654665 155025408 20404 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 37848 20404 2496 595 0 22515 0
Current children cumulated CPU time: 50.41 s
Current children cumulated vsize: 151392 KiB
Current children cumulated memory: 81616 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 1.98 0.83 5/265 168928
/proc/meminfo: memFree=128801804/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=101.43 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16920 0 0 0 10138 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 101.43 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

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

# cumulated CPU time of all completed processes:  user=140.486 s, system=0.061828 s

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

[startup+102.4 s]
/proc/loadavg: 4.00 1.98 0.83 5/265 168928
/proc/meminfo: memFree=128801804/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=101.53 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16920 0 0 0 10148 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 101.53 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

[startup+128 s]*
/proc/loadavg: 4.05 2.16 0.92 5/266 168959
/proc/meminfo: memFree=128829228/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=127.07 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16922 0 0 0 12702 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 127.07 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

[startup+134.4 s]
/proc/loadavg: 4.05 2.19 0.94 5/266 168959
/proc/meminfo: memFree=128830312/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=133.45 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16922 0 0 0 13340 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 133.45 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

[startup+137.6 s]
/proc/loadavg: 4.04 2.22 0.95 5/266 168959
/proc/meminfo: memFree=128830564/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=136.64 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16922 0 0 0 13659 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 136.64 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

[startup+139.2 s]
/proc/loadavg: 4.04 2.22 0.95 4/262 168967
/proc/meminfo: memFree=129104840/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=138.24 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16922 0 0 0 13819 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 138.24 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

[startup+140.8 s]
/proc/loadavg: 4.04 2.22 0.95 4/264 168979
/proc/meminfo: memFree=129103848/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=139.84 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16922 0 0 0 13979 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 139.84 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

[startup+141.2 s]
/proc/loadavg: 4.04 2.22 0.95 5/266 169004
/proc/meminfo: memFree=129104380/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=140.24 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16922 0 0 0 14019 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 140.24 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

[startup+141.4 s]
/proc/loadavg: 4.04 2.22 0.95 5/266 169004
/proc/meminfo: memFree=129104380/131249996 swapFree=33010416/33010684
[pid=168905] ppid=168901 vsize=152440 memory=82640 CPUtime=140.43 cores=1,3
/proc/168905/stat : 168905 (SynLSCD-PS) R 168901 168905 168516 0 -1 4194304 16922 0 0 0 14038 5 0 0 20 0 1 0 241654665 156098560 20660 18446744073709551615 94885501788160 94885504223577 140720416110384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94885504703736 94885504736768 94885525962752 140720416115069 140720416115207 140720416115207 140720416120811 0
/proc/168905/statm: 38110 20660 2496 595 0 22777 0
Current children cumulated CPU time: 140.43 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 82640 KiB

Child status: 30

Real time (s): 141.5
CPU time (s): 140.547
CPU user time (s): 140.486
CPU system time (s): 0.061828
CPU usage (%): 99.3268
Max. virtual memory (cumulated for all children) (KiB): 152440
Max. memory (cumulated for all children) (KiB): 82640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.486
system time used= 0.061828
maximum resident set size= 82640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16948
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= 135
involuntary context switches= 227


# summary of solver processes directly reported to runsolver:
#   pid: 168905
#   total CPU time (s): 140.547
#   total CPU user time (s): 140.486
#   total CPU system time (s): 0.061828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.273519 second user time and 0.662466 second system time

The end