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: 63837 MiB (62613 MiB free)
  memory of node 1: 64465 MiB (63500 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503438-1751161421/watcher-4503438-1751161421 -o /tmp/evaluation-result-4503438-1751161421/solver-4503438-1751161421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751157586-17410 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=919125477 --ls=0 --inp-dombreaklim=0 HOME/instance-4503438-1751161421.opb 

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=18917, runsolver pid=18914

[startup+0.100069 s]*
/proc/loadavg: 4.09 4.11 4.13 5/250 18918
/proc/meminfo: memFree=129133684/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=35176 memory=12132 CPUtime=0.1 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 2537 0 0 0 10 0 0 0 20 0 1 0 31821264 36020224 3033 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 8794 3033 1024 1200 0 7274 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35176 KiB
Current children cumulated memory: 12132 KiB

[startup+0.212853 s]*
/proc/loadavg: 4.09 4.11 4.13 5/250 18918
/proc/meminfo: memFree=129129664/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=41136 memory=20756 CPUtime=0.21 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 4114 0 0 0 20 1 0 0 20 0 1 0 31821264 42123264 5189 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 10284 5189 1024 1200 0 8764 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41136 KiB
Current children cumulated memory: 20756 KiB

[startup+0.31292 s]*
/proc/loadavg: 4.09 4.11 4.13 5/250 18918
/proc/meminfo: memFree=129121852/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=50264 memory=29228 CPUtime=0.31 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 6106 0 0 0 29 2 0 0 20 0 1 0 31821264 51470336 7307 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 12566 7307 1024 1200 0 11046 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50264 KiB
Current children cumulated memory: 29228 KiB

[startup+0.700316 s]
/proc/loadavg: 4.09 4.11 4.13 5/250 18918
/proc/meminfo: memFree=129105976/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=80608 memory=60200 CPUtime=0.68 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 12991 0 0 0 64 4 0 0 20 0 1 0 31821264 82542592 15050 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 20152 15050 1248 1200 0 18632 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 60200 KiB

[startup+1.50033 s]
/proc/loadavg: 4.09 4.11 4.13 5/250 18918
/proc/meminfo: memFree=129090100/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=80608 memory=62256 CPUtime=1.48 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 12992 0 0 0 144 4 0 0 20 0 1 0 31821264 82542592 15564 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 20152 15564 1248 1200 0 18632 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 62256 KiB

[startup+3.11252 s]
/proc/loadavg: 4.09 4.11 4.13 5/250 18918
/proc/meminfo: memFree=129090100/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=81332 memory=63024 CPUtime=3.09 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 13198 0 0 0 305 4 0 0 20 0 1 0 31821264 83283968 15756 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 20333 15756 1248 1200 0 18813 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81332 KiB
Current children cumulated memory: 63024 KiB

[startup+6.30028 s]
/proc/loadavg: 4.09 4.11 4.13 5/250 18918
/proc/meminfo: memFree=129090100/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=83108 memory=64944 CPUtime=6.27 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 13677 0 0 0 622 5 0 0 20 0 1 0 31821264 85102592 16236 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 20777 16236 1248 1200 0 19257 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83108 KiB
Current children cumulated memory: 64944 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.13 5/250 18919
/proc/meminfo: memFree=129086076/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=85556 memory=67248 CPUtime=12.65 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 14270 0 0 0 1260 5 0 0 20 0 1 0 31821264 87609344 16812 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 21389 16812 1248 1200 0 19869 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85556 KiB
Current children cumulated memory: 67248 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.11 4.13 5/250 18919
/proc/meminfo: memFree=129080964/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=86928 memory=70748 CPUtime=25.41 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 14616 0 0 0 2535 6 0 0 20 0 1 0 31821264 89014272 17687 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 21732 17687 1248 1200 0 20212 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 86928 KiB
Current children cumulated memory: 70748 KiB

[startup+51.1125 s]
/proc/loadavg: 4.08 4.10 4.12 5/250 18919
/proc/meminfo: memFree=129079456/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=89288 memory=73052 CPUtime=50.94 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 15209 0 0 0 5086 8 0 0 20 0 1 0 31821264 91430912 18263 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 22322 18263 1248 1200 0 20802 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 73052 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/250 18925
/proc/meminfo: memFree=129073384/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=92124 memory=75996 CPUtime=101.96 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 15938 0 0 0 10185 11 0 0 20 0 1 0 31821264 94334976 18999 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23031 18999 1248 1200 0 21511 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 92124 KiB
Current children cumulated memory: 75996 KiB

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

# cumulated CPU time of all completed processes:  user=145.497 s, system=0.139345 s

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

[startup+102.4 s]
/proc/loadavg: 4.15 4.12 4.12 5/250 18925
/proc/meminfo: memFree=129073384/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=92124 memory=75996 CPUtime=102.06 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 15938 0 0 0 10195 11 0 0 20 0 1 0 31821264 94334976 18999 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23031 18999 1248 1200 0 21511 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 92124 KiB
Current children cumulated memory: 75996 KiB

[startup+128 s]*
/proc/loadavg: 4.10 4.11 4.12 5/250 18970
/proc/meminfo: memFree=128776716/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=92872 memory=76636 CPUtime=127.59 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 16120 0 0 0 12747 12 0 0 20 0 1 0 31821264 95100928 19159 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23218 19159 1248 1200 0 21698 0
Current children cumulated CPU time: 127.59 s
Current children cumulated vsize: 92872 KiB
Current children cumulated memory: 76636 KiB

[startup+134.4 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 18971
/proc/meminfo: memFree=128782608/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=93356 memory=77148 CPUtime=133.96 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 16252 0 0 0 13383 13 0 0 20 0 1 0 31821264 95596544 19287 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23339 19287 1248 1200 0 21819 0
Current children cumulated CPU time: 133.96 s
Current children cumulated vsize: 93356 KiB
Current children cumulated memory: 77148 KiB

[startup+140.8 s]
/proc/loadavg: 4.08 4.10 4.12 5/250 18971
/proc/meminfo: memFree=128760792/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=93620 memory=77532 CPUtime=140.34 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 16324 0 0 0 14021 13 0 0 20 0 1 0 31821264 95866880 19383 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23405 19383 1248 1200 0 21885 0
Current children cumulated CPU time: 140.34 s
Current children cumulated vsize: 93620 KiB
Current children cumulated memory: 77532 KiB

[startup+144 s]*
/proc/loadavg: 4.08 4.10 4.12 5/250 18971
/proc/meminfo: memFree=128767960/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=93764 memory=77660 CPUtime=143.54 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 16353 0 0 0 14341 13 0 0 20 0 1 0 31821264 96014336 19415 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23441 19415 1248 1200 0 21921 0
Current children cumulated CPU time: 143.54 s
Current children cumulated vsize: 93764 KiB
Current children cumulated memory: 77660 KiB

[startup+144.8 s]
/proc/loadavg: 4.08 4.10 4.12 5/250 18971
/proc/meminfo: memFree=128767960/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=93960 memory=77788 CPUtime=144.32 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 16386 0 0 0 14419 13 0 0 20 0 1 0 31821264 96215040 19447 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23490 19447 1248 1200 0 21970 0
Current children cumulated CPU time: 144.32 s
Current children cumulated vsize: 93960 KiB
Current children cumulated memory: 77788 KiB

[startup+145.6 s]
/proc/loadavg: 4.08 4.10 4.12 5/250 18971
/proc/meminfo: memFree=128767960/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=93960 memory=77788 CPUtime=145.12 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 16386 0 0 0 14499 13 0 0 20 0 1 0 31821264 96215040 19447 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23490 19447 1248 1200 0 21970 0
Current children cumulated CPU time: 145.12 s
Current children cumulated vsize: 93960 KiB
Current children cumulated memory: 77788 KiB

[startup+146 s]*
/proc/loadavg: 4.08 4.10 4.12 5/250 18971
/proc/meminfo: memFree=128767960/131382120 swapFree=33010684/33010684
[pid=18917] ppid=18914 vsize=94096 memory=77916 CPUtime=145.53 cores=1,3
/proc/18917/stat : 18917 (Exact) R 18914 18917 17398 0 -1 4194304 16420 0 0 0 14540 13 0 0 20 0 1 0 31821264 96354304 19479 18446744073709551615 4198400 9112445 140726430979088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36392960 140726430984489 140726430984685 140726430984685 140726430990287 0
/proc/18917/statm: 23524 19479 1248 1200 0 22004 0
Current children cumulated CPU time: 145.53 s
Current children cumulated vsize: 94096 KiB
Current children cumulated memory: 77916 KiB

Child status: 30

Real time (s): 146.105
CPU time (s): 145.636
CPU user time (s): 145.497
CPU system time (s): 0.139345
CPU usage (%): 99.6788
Max. virtual memory (cumulated for all children) (KiB): 94096
Max. memory (cumulated for all children) (KiB): 77916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.497
system time used= 0.139345
maximum resident set size= 78044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16424
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= 2
involuntary context switches= 193


# summary of solver processes directly reported to runsolver:
#   pid: 18917
#   total CPU time (s): 145.636
#   total CPU user time (s): 145.497
#   total CPU system time (s): 0.139345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.661233 second user time and 1.47427 second system time

The end