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-4545633-1753259729/watcher-4545633-1753259729 -o /tmp/evaluation-result-4545633-1753259729/solver-4545633-1753259729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753259701-166035 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545633-1753259729.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
Current StackSize limit: 8192 KiB

solver pid=166236, runsolver pid=166225

[startup+0.100057 s]*
/proc/loadavg: 1.81 0.50 0.23 3/260 166237
/proc/meminfo: memFree=127353920/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=84708 memory=11008 CPUtime=0 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 804 0 0 0 0 0 0 0 20 0 1 0 241647724 86740992 2752 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 21177 2752 2240 595 0 5844 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 84708 KiB
Current children cumulated memory: 11008 KiB

[startup+0.205271 s]*
/proc/loadavg: 1.81 0.50 0.23 5/260 166237
/proc/meminfo: memFree=127341336/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=91044 memory=20128 CPUtime=0.1 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 2583 0 0 0 10 0 0 0 20 0 1 0 241647724 93229056 5032 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 22761 5032 2240 595 0 7428 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 91044 KiB
Current children cumulated memory: 20128 KiB

[startup+0.304396 s]*
/proc/loadavg: 1.81 0.50 0.23 5/260 166237
/proc/meminfo: memFree=127311976/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=96976 memory=27900 CPUtime=0.2 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 4097 0 0 0 19 1 0 0 20 0 1 0 241647724 99303424 6975 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 24244 6975 2240 595 0 8911 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96976 KiB
Current children cumulated memory: 27900 KiB

[startup+0.700176 s]
/proc/loadavg: 1.81 0.50 0.23 4/260 166237
/proc/meminfo: memFree=127214316/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=187896 memory=123588 CPUtime=0.6 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 19494 0 0 0 56 4 0 0 20 0 1 0 241647724 192405504 30897 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 46974 30897 2464 595 0 31641 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 123588 KiB

[startup+1.50015 s]
/proc/loadavg: 1.81 0.50 0.23 4/263 166243
/proc/meminfo: memFree=127057180/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=187896 memory=123588 CPUtime=1.39 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 19494 0 0 0 135 4 0 0 20 0 1 0 241647724 192405504 30897 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 46974 30897 2464 595 0 31641 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 123588 KiB

[startup+3.1054 s]
/proc/loadavg: 1.98 0.56 0.25 4/260 166261
/proc/meminfo: memFree=126278320/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=187896 memory=123588 CPUtime=2.99 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 19504 0 0 0 295 4 0 0 20 0 1 0 241647724 192405504 30897 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 46974 30897 2464 595 0 31641 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 123588 KiB

[startup+6.30014 s]
/proc/loadavg: 1.98 0.56 0.25 5/264 166274
/proc/meminfo: memFree=126275752/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=230928 memory=164292 CPUtime=6.17 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 29656 0 0 0 608 9 0 0 20 0 1 0 241647724 236470272 41073 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 57732 41073 2496 595 0 42399 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164292 KiB

[startup+12.7001 s]
/proc/loadavg: 2.29 0.67 0.29 5/264 166274
/proc/meminfo: memFree=126303952/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=230928 memory=164292 CPUtime=12.56 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 29656 0 0 0 1235 21 0 0 20 0 1 0 241647724 236470272 41073 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 57732 41073 2496 595 0 42399 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164292 KiB

[startup+25.5001 s]
/proc/loadavg: 2.56 0.78 0.33 3/256 166290
/proc/meminfo: memFree=126863232/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=230928 memory=164292 CPUtime=25.32 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 29656 0 0 0 2491 41 0 0 20 0 1 0 241647724 236470272 41073 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 57732 41073 2496 595 0 42399 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164292 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=166236] ppid=166225 vsize=230928 memory=164292 CPUtime=50.85 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 29656 0 0 0 4997 88 0 0 20 0 1 0 241647724 236470272 41073 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 57732 41073 2496 595 0 42399 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164292 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 1.61 0.66 5/264 166500
/proc/meminfo: memFree=126664176/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=177680 CPUtime=101.88 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31438 0 0 0 10048 140 0 0 20 0 1 0 241647724 243605504 44420 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 44420 2528 595 0 44141 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 177680 KiB

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

# cumulated CPU time of all completed processes:  user=141.757 s, system=2.07722 s

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

[startup+102.4 s]
/proc/loadavg: 3.80 1.61 0.66 5/264 166500
/proc/meminfo: memFree=126664176/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=177680 CPUtime=101.98 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31438 0 0 0 10058 140 0 0 20 0 1 0 241647724 243605504 44420 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 44420 2528 595 0 44141 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 177680 KiB

[startup+128 s]*
/proc/loadavg: 3.94 1.82 0.76 5/264 166501
/proc/meminfo: memFree=126623596/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=180112 CPUtime=127.51 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31452 0 0 0 12569 182 0 0 20 0 1 0 241647724 243605504 45028 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 45028 2528 595 0 44141 0
Current children cumulated CPU time: 127.51 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 180112 KiB

[startup+134.4 s]
/proc/loadavg: 4.03 1.87 0.78 5/264 166502
/proc/meminfo: memFree=126630624/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=180112 CPUtime=133.89 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31458 0 0 0 13197 192 0 0 20 0 1 0 241647724 243605504 45028 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 45028 2528 595 0 44141 0
Current children cumulated CPU time: 133.89 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 180112 KiB

[startup+140.8 s]
/proc/loadavg: 4.02 1.91 0.80 5/264 166502
/proc/meminfo: memFree=126622812/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=180112 CPUtime=140.28 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31458 0 0 0 13826 202 0 0 20 0 1 0 241647724 243605504 45028 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 45028 2528 595 0 44141 0
Current children cumulated CPU time: 140.28 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 180112 KiB

[startup+142.4 s]
/proc/loadavg: 4.02 1.95 0.82 5/264 166502
/proc/meminfo: memFree=126614620/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=180112 CPUtime=141.87 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31458 0 0 0 13983 204 0 0 20 0 1 0 241647724 243605504 45028 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 45028 2528 595 0 44141 0
Current children cumulated CPU time: 141.87 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 180112 KiB

[startup+143.2 s]
/proc/loadavg: 4.02 1.95 0.82 5/264 166502
/proc/meminfo: memFree=126614620/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=180112 CPUtime=142.67 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31458 0 0 0 14062 205 0 0 20 0 1 0 241647724 243605504 45028 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 45028 2528 595 0 44141 0
Current children cumulated CPU time: 142.67 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 180112 KiB

[startup+144 s]*
/proc/loadavg: 4.02 1.95 0.82 5/264 166502
/proc/meminfo: memFree=126614620/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=180112 CPUtime=143.48 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31458 0 0 0 14141 207 0 0 20 0 1 0 241647724 243605504 45028 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 45028 2528 595 0 44141 0
Current children cumulated CPU time: 143.48 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 180112 KiB

[startup+144.2 s]
/proc/loadavg: 4.02 1.95 0.82 5/264 166502
/proc/meminfo: memFree=126614620/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=180112 CPUtime=143.67 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31458 0 0 0 14160 207 0 0 20 0 1 0 241647724 243605504 45028 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 45028 2528 595 0 44141 0
Current children cumulated CPU time: 143.67 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 180112 KiB

[startup+144.3 s]
/proc/loadavg: 4.02 1.95 0.82 5/264 166502
/proc/meminfo: memFree=126614620/131249992 swapFree=33009392/33010684
[pid=166236] ppid=166225 vsize=237896 memory=180112 CPUtime=143.77 cores=1,3
/proc/166236/stat : 166236 (SynLSCD) R 166225 166236 166016 0 -1 4194304 31458 0 0 0 14170 207 0 0 20 0 1 0 241647724 243605504 45028 18446744073709551615 94899039113216 94899041547817 140725261558928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899042028792 94899042061824 94899068399616 140725261564291 140725261564426 140725261564426 140725261570030 0
/proc/166236/statm: 59474 45028 2528 595 0 44141 0
Current children cumulated CPU time: 143.77 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 180112 KiB

Child status: 30

Real time (s): 144.355
CPU time (s): 143.834
CPU user time (s): 141.757
CPU system time (s): 2.07722
CPU usage (%): 99.6388
Max. virtual memory (cumulated for all children) (KiB): 237896
Max. memory (cumulated for all children) (KiB): 180112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.757
system time used= 2.07722
maximum resident set size= 180112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31485
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= 167
involuntary context switches= 76


# summary of solver processes directly reported to runsolver:
#   pid: 166236
#   total CPU time (s): 143.834
#   total CPU user time (s): 141.757
#   total CPU system time (s): 2.07722

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.272209 second user time and 0.627844 second system time

The end