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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529110-1752260135/watcher-4529110-1752260135 -o /tmp/evaluation-result-4529110-1752260135/solver-4529110-1752260135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119453 --watchdog 3760 mixed-bag HOME/instance-4529110-1752260135.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=120001, runsolver pid=119998

[startup+0.100069 s]*
/proc/loadavg: 4.10 4.10 4.09 5/262 120002
/proc/meminfo: memFree=120128996/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=131644 memory=53224 CPUtime=0.09 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 9625 0 0 0 7 2 0 0 20 0 1 0 141691312 134803456 13306 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 32911 13306 4288 2834 0 15116 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 131644 KiB
Current children cumulated memory: 53224 KiB

[startup+0.205564 s]*
/proc/loadavg: 4.10 4.10 4.09 5/262 120002
/proc/meminfo: memFree=120125972/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=139280 memory=61288 CPUtime=0.19 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 11645 0 0 0 17 2 0 0 20 0 1 0 141691312 142622720 15322 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 34820 15322 4288 2834 0 17025 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 139280 KiB
Current children cumulated memory: 61288 KiB

[startup+0.305516 s]*
/proc/loadavg: 4.09 4.10 4.09 5/262 120002
/proc/meminfo: memFree=120125972/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=140728 memory=62440 CPUtime=0.28 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 11954 0 0 0 26 2 0 0 20 0 1 0 141691312 144105472 15610 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 35182 15610 4288 2834 0 17387 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 140728 KiB
Current children cumulated memory: 62440 KiB

[startup+0.700214 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 120002
/proc/meminfo: memFree=120121940/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=144748 memory=65768 CPUtime=0.65 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 12760 0 0 0 63 2 0 0 20 0 1 0 141691312 148221952 16442 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 36187 16442 4288 2834 0 18392 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 144748 KiB
Current children cumulated memory: 65768 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 120002
/proc/meminfo: memFree=120097748/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=157964 memory=76136 CPUtime=1.44 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 15354 0 0 0 141 3 0 0 20 0 1 0 141691312 161755136 19034 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 39491 19034 4288 2834 0 21696 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 157964 KiB
Current children cumulated memory: 76136 KiB

[startup+3.10539 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 120002
/proc/meminfo: memFree=120073716/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=165588 memory=82436 CPUtime=3.04 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 18346 0 0 0 300 4 0 0 20 0 1 0 141691312 169562112 20609 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 41397 20609 4288 2834 0 23602 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 165588 KiB
Current children cumulated memory: 82436 KiB

[startup+6.30017 s]
/proc/loadavg: 4.17 4.11 4.09 5/262 120002
/proc/meminfo: memFree=120068472/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=165588 memory=82436 CPUtime=6.23 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 18347 0 0 0 619 4 0 0 20 0 1 0 141691312 169562112 20609 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 41397 20609 4288 2834 0 23602 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 165588 KiB
Current children cumulated memory: 82436 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.13 4.10 5/262 120002
/proc/meminfo: memFree=120068472/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=165588 memory=82436 CPUtime=12.61 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 18362 0 0 0 1257 4 0 0 20 0 1 0 141691312 169562112 20609 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 41397 20609 4288 2834 0 23602 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 165588 KiB
Current children cumulated memory: 82436 KiB

[startup+25.5002 s]
/proc/loadavg: 4.43 4.17 4.11 5/262 120092
/proc/meminfo: memFree=119233064/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=194120 memory=109200 CPUtime=25.36 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 25807 0 0 0 2531 5 0 0 20 0 1 0 141691312 198778880 27300 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 48530 27300 4288 2834 0 30735 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 194120 KiB
Current children cumulated memory: 109200 KiB

[startup+51.1054 s]
/proc/loadavg: 4.37 4.19 4.12 5/262 120093
/proc/meminfo: memFree=115879392/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=235392 memory=147728 CPUtime=50.89 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 35460 0 0 0 5083 6 0 0 20 0 1 0 141691312 241041408 36932 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 58848 36932 4288 2834 0 41053 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 235392 KiB
Current children cumulated memory: 147728 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/263 120096
/proc/meminfo: memFree=115354240/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=283460 memory=184056 CPUtime=101.95 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 45414 0 0 0 10187 8 0 0 20 0 1 0 141691312 290263040 46014 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 70865 46014 4288 2834 0 53070 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 283460 KiB
Current children cumulated memory: 184056 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 120098
/proc/meminfo: memFree=115216036/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=392840 memory=271020 CPUtime=161.8 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69526 0 0 0 16167 13 0 0 20 0 1 0 141691312 402268160 67755 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98210 67755 4288 2834 0 80415 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 392840 KiB
Current children cumulated memory: 271020 KiB

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

# cumulated CPU time of all completed processes:  user=178.885 s, system=0.147513 s

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

[startup+166.4 s]
/proc/loadavg: 4.15 4.16 4.12 5/263 120098
/proc/meminfo: memFree=115208064/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=393064 memory=271276 CPUtime=165.89 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69578 0 0 0 16576 13 0 0 20 0 1 0 141691312 402497536 67819 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98266 67819 4288 2834 0 80471 0
Current children cumulated CPU time: 165.89 s
Current children cumulated vsize: 393064 KiB
Current children cumulated memory: 271276 KiB

[startup+172.8 s]
/proc/loadavg: 4.14 4.16 4.11 5/263 120098
/proc/meminfo: memFree=115207020/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=393064 memory=271276 CPUtime=172.28 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69578 0 0 0 17215 13 0 0 20 0 1 0 141691312 402497536 67819 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98266 67819 4288 2834 0 80471 0
Current children cumulated CPU time: 172.28 s
Current children cumulated vsize: 393064 KiB
Current children cumulated memory: 271276 KiB

[startup+176 s]*
/proc/loadavg: 4.12 4.16 4.11 5/263 120098
/proc/meminfo: memFree=115102188/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=393064 memory=271276 CPUtime=175.47 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69578 0 0 0 17534 13 0 0 20 0 1 0 141691312 402497536 67819 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98266 67819 4288 2834 0 80471 0
Current children cumulated CPU time: 175.47 s
Current children cumulated vsize: 393064 KiB
Current children cumulated memory: 271276 KiB

[startup+177.6 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 120098
/proc/meminfo: memFree=115102188/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=393064 memory=271276 CPUtime=177.06 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69578 0 0 0 17693 13 0 0 20 0 1 0 141691312 402497536 67819 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98266 67819 4288 2834 0 80471 0
Current children cumulated CPU time: 177.06 s
Current children cumulated vsize: 393064 KiB
Current children cumulated memory: 271276 KiB

[startup+178.4 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 120098
/proc/meminfo: memFree=115102188/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=393064 memory=271276 CPUtime=177.86 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69578 0 0 0 17773 13 0 0 20 0 1 0 141691312 402497536 67819 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98266 67819 4288 2834 0 80471 0
Current children cumulated CPU time: 177.86 s
Current children cumulated vsize: 393064 KiB
Current children cumulated memory: 271276 KiB

[startup+179.2 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 120098
/proc/meminfo: memFree=115102188/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=393064 memory=271276 CPUtime=178.66 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69578 0 0 0 17853 13 0 0 20 0 1 0 141691312 402497536 67819 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98266 67819 4288 2834 0 80471 0
Current children cumulated CPU time: 178.66 s
Current children cumulated vsize: 393064 KiB
Current children cumulated memory: 271276 KiB

[startup+179.4 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 120098
/proc/meminfo: memFree=115102188/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=393064 memory=271276 CPUtime=178.86 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69578 0 0 0 17873 13 0 0 20 0 1 0 141691312 402497536 67819 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98266 67819 4288 2834 0 80471 0
Current children cumulated CPU time: 178.86 s
Current children cumulated vsize: 393064 KiB
Current children cumulated memory: 271276 KiB

[startup+179.5 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 120098
/proc/meminfo: memFree=115102188/131249996 swapFree=33010416/33010684
[pid=120001] ppid=119998 vsize=393064 memory=271276 CPUtime=178.96 cores=5,7
/proc/120001/stat : 120001 (mixed-bag) R 119998 120001 119440 0 -1 4194304 69578 0 0 0 17883 13 0 0 20 0 1 0 141691312 402497536 67819 18446744073709551615 4235264 15840557 140722049138832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 44548096 140722049145242 140722049145319 140722049145319 140722049150923 0
/proc/120001/statm: 98266 67819 4288 2834 0 80471 0
Current children cumulated CPU time: 178.96 s
Current children cumulated vsize: 393064 KiB
Current children cumulated memory: 271276 KiB

Child status: 0

Real time (s): 179.566
CPU time (s): 179.033
CPU user time (s): 178.885
CPU system time (s): 0.147513
CPU usage (%): 99.7032
Max. virtual memory (cumulated for all children) (KiB): 393064
Max. memory (cumulated for all children) (KiB): 271276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.885
system time used= 0.147513
maximum resident set size= 279160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69598
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= 100
involuntary context switches= 238


# summary of solver processes directly reported to runsolver:
#   pid: 120001
#   total CPU time (s): 179.033
#   total CPU user time (s): 178.885
#   total CPU system time (s): 0.147513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.338054 second user time and 0.769373 second system time

The end