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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522353-1751573700/watcher-4522353-1751573700 -o /tmp/evaluation-result-4522353-1751573700/solver-4522353-1751573700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751565791-83967 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4522353-1751573700.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=86067, runsolver pid=86064

[startup+0.100066 s]*
/proc/loadavg: 5.90 6.42 6.87 6/265 86068
/proc/meminfo: memFree=102029084/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=58608 memory=23936 CPUtime=0.09 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 5010 0 0 0 8 1 0 0 20 0 1 0 73047768 60014592 5984 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 14652 5984 1152 6655 0 4887 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58608 KiB
Current children cumulated memory: 23936 KiB

[startup+0.205655 s]*
/proc/loadavg: 5.90 6.42 6.87 6/265 86068
/proc/meminfo: memFree=102029084/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=58608 memory=23936 CPUtime=0.2 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 5017 0 0 0 19 1 0 0 20 0 1 0 73047768 60014592 5984 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 14652 5984 1152 6655 0 4887 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58608 KiB
Current children cumulated memory: 23936 KiB

[startup+0.305508 s]*
/proc/loadavg: 5.90 6.42 6.87 6/265 86068
/proc/meminfo: memFree=102029084/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=58608 memory=23936 CPUtime=0.3 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 5019 0 0 0 29 1 0 0 20 0 1 0 73047768 60014592 5984 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 14652 5984 1152 6655 0 4887 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58608 KiB
Current children cumulated memory: 23936 KiB

[startup+0.70018 s]
/proc/loadavg: 5.90 6.42 6.87 6/265 86068
/proc/meminfo: memFree=102029084/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=58772 memory=24064 CPUtime=0.69 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 5034 0 0 0 68 1 0 0 20 0 1 0 73047768 60182528 6016 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 14693 6016 1152 6655 0 4928 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24064 KiB

[startup+1.50017 s]
/proc/loadavg: 5.90 6.42 6.87 6/265 86068
/proc/meminfo: memFree=102008860/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=58772 memory=24064 CPUtime=1.48 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 5055 0 0 0 147 1 0 0 20 0 1 0 73047768 60182528 6016 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 14693 6016 1152 6655 0 4928 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24064 KiB

[startup+3.10545 s]
/proc/loadavg: 5.90 6.42 6.87 6/265 86068
/proc/meminfo: memFree=101996956/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=58772 memory=24064 CPUtime=3.08 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 5055 0 0 0 307 1 0 0 20 0 1 0 73047768 60182528 6016 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 14693 6016 1152 6655 0 4928 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24064 KiB

[startup+6.30015 s]
/proc/loadavg: 5.83 6.40 6.86 6/265 86068
/proc/meminfo: memFree=101994472/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=58772 memory=24064 CPUtime=6.27 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 5055 0 0 0 626 1 0 0 20 0 1 0 73047768 60182528 6016 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 14693 6016 1152 6655 0 4928 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24064 KiB

[startup+12.7002 s]
/proc/loadavg: 5.68 6.36 6.84 7/266 86069
/proc/meminfo: memFree=101969052/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=199896 memory=116612 CPUtime=14.32 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 25472 0 0 0 1428 4 0 0 20 0 2 0 73047768 204693504 29153 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 49974 29153 3488 6655 0 28214 0
[pid=86067/tid=86069] ppid=86064 vsize=199896 memory=114820 CPUtime=1.65 cores=4,6
/proc/86067/task/86069/stat : 86069 (LSIPExact) R 86064 86067 83956 0 -1 4194368 4556 0 0 0 165 0 0 0 20 0 2 0 73048773 204693504 29153 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
Current children cumulated CPU time: 14.32 s
Current children cumulated vsize: 199896 KiB
Current children cumulated memory: 116612 KiB

[startup+25.5002 s]
/proc/loadavg: 5.75 6.34 6.83 7/266 86069
/proc/meminfo: memFree=101986688/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=201492 memory=125888 CPUtime=39.21 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 60121 0 0 0 3913 8 0 0 20 0 2 0 73047768 206327808 31472 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 50373 31472 3488 6655 0 30377 0
[pid=86067/tid=86069] ppid=86064 vsize=201492 memory=125632 CPUtime=13.89 cores=4,6
/proc/86067/task/86069/stat : 86069 (LSIPExact) R 86064 86067 83956 0 -1 4194368 19205 0 0 0 1387 2 0 0 20 0 2 0 73048773 206327808 31472 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
Current children cumulated CPU time: 39.21 s
Current children cumulated vsize: 201492 KiB
Current children cumulated memory: 125888 KiB

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

# cumulated CPU time of all completed processes:  user=64.0447 s, system=0.130391 s

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

[startup+25.6002 s]
/proc/loadavg: 5.75 6.34 6.83 7/266 86069
/proc/meminfo: memFree=101986688/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=201492 memory=126144 CPUtime=39.41 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 60281 0 0 0 3933 8 0 0 20 0 2 0 73047768 206327808 31536 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 50373 31536 3488 6655 0 30377 0
[pid=86067/tid=86069] ppid=86064 vsize=201492 memory=124864 CPUtime=13.99 cores=4,6
/proc/86067/task/86069/stat : 86069 (LSIPExact) R 86064 86067 83956 0 -1 4194368 19270 0 0 0 1397 2 0 0 20 0 2 0 73048773 206327808 31536 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
Current children cumulated CPU time: 39.41 s
Current children cumulated vsize: 201492 KiB
Current children cumulated memory: 126144 KiB

[startup+32.0002 s]*
/proc/loadavg: 5.85 6.35 6.83 7/266 86069
/proc/meminfo: memFree=101979448/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=201492 memory=126656 CPUtime=52.13 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 70980 0 0 0 5203 10 0 0 20 0 2 0 73047768 206327808 31664 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 50373 31664 3488 6655 0 30377 0
[pid=86067/tid=86069] ppid=86064 vsize=201492 memory=6256 CPUtime=20.33 cores=4,6
/proc/86067/task/86069/stat : 86069 (LSIPExact) R 86064 86067 83956 0 -1 4194368 25067 0 0 0 2030 3 0 0 20 0 2 0 73048773 206327808 31664 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
Current children cumulated CPU time: 52.13 s
Current children cumulated vsize: 201492 KiB
Current children cumulated memory: 126656 KiB

[startup+35.2002 s]
/proc/loadavg: 5.87 6.34 6.82 7/266 86069
/proc/meminfo: memFree=101968932/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=205508 memory=136128 CPUtime=58.48 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 76424 0 0 0 5837 11 0 0 20 0 2 0 73047768 210440192 34032 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 51377 34032 3488 6655 0 32585 0
[pid=86067/tid=86069] ppid=86064 vsize=205508 memory=134848 CPUtime=23.49 cores=4,6
/proc/86067/task/86069/stat : 86069 (LSIPExact) R 86064 86067 83956 0 -1 4194368 27779 0 0 0 2345 4 0 0 20 0 2 0 73048773 210440192 34032 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
Current children cumulated CPU time: 58.48 s
Current children cumulated vsize: 205508 KiB
Current children cumulated memory: 136128 KiB

[startup+36.8002 s]
/proc/loadavg: 5.87 6.34 6.82 7/266 86069
/proc/meminfo: memFree=101963476/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=209188 memory=142400 CPUtime=61.65 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 78127 0 0 0 6154 11 0 0 20 0 2 0 73047768 214208512 35600 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 52297 35600 3488 6655 0 34103 0
[pid=86067/tid=86069] ppid=86064 vsize=209188 memory=134336 CPUtime=25.08 cores=4,6
/proc/86067/task/86069/stat : 86069 (LSIPExact) R 86064 86067 83956 0 -1 4194368 28501 0 0 0 2504 4 0 0 20 0 2 0 73048773 214208512 35600 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
Current children cumulated CPU time: 61.65 s
Current children cumulated vsize: 209188 KiB
Current children cumulated memory: 142400 KiB

[startup+37.6002 s]
/proc/loadavg: 5.87 6.34 6.82 7/266 86069
/proc/meminfo: memFree=101957680/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=209188 memory=142912 CPUtime=63.24 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 78323 0 0 0 6313 11 0 0 20 0 2 0 73047768 214208512 35728 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 52297 35728 3488 6655 0 34250 0
[pid=86067/tid=86069] ppid=86064 vsize=209188 memory=18688 CPUtime=25.87 cores=4,6
/proc/86067/task/86069/stat : 86069 (LSIPExact) R 86064 86067 83956 0 -1 4194368 28649 0 0 0 2583 4 0 0 20 0 2 0 73048773 214208512 35728 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
Current children cumulated CPU time: 63.24 s
Current children cumulated vsize: 209188 KiB
Current children cumulated memory: 142912 KiB

[startup+38.0002 s]*
/proc/loadavg: 5.87 6.34 6.82 7/266 86069
/proc/meminfo: memFree=101957680/131249996 swapFree=33010672/33010684
[pid=86067] ppid=86064 vsize=209188 memory=142912 CPUtime=64.04 cores=4,6
/proc/86067/stat : 86067 (LSIPExact) R 86064 86067 83956 0 -1 4194304 78323 0 0 0 6393 11 0 0 20 0 2 0 73047768 214208512 35728 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
/proc/86067/statm: 52297 35728 3488 6655 0 34250 0
[pid=86067/tid=86069] ppid=86064 vsize=209188 memory=-6298959619325792611 CPUtime=26.27 cores=4,6
/proc/86067/task/86069/stat : 86069 (LSIPExact) R 86064 86067 83956 0 -1 4194368 28649 0 0 0 2623 4 0 0 20 0 2 0 73048773 214208512 35728 18446744073709551615 93920403230720 93920430487121 140722013898336 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93920438989960 93920439421568 93920464785408 140722013903194 140722013903370 140722013903370 140722013908972 0
Current children cumulated CPU time: 64.04 s
Current children cumulated vsize: 209188 KiB
Current children cumulated memory: 142912 KiB

Child status: 0

Real time (s): 38.0902
CPU time (s): 64.1751
CPU user time (s): 64.0447
CPU system time (s): 0.130391
CPU usage (%): 168.482
Max. virtual memory (cumulated for all children) (KiB): 209188
Max. memory (cumulated for all children) (KiB): 142912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.0447
system time used= 0.130391
maximum resident set size= 143296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86955
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= 123
involuntary context switches= 411


# summary of solver processes directly reported to runsolver:
#   pid: 86067
#   total CPU time (s): 64.1751
#   total CPU user time (s): 64.0447
#   total CPU system time (s): 0.130391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096633 second user time and 0.19423 second system time

The end