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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519225-1751508303/watcher-4519225-1751508303 -o /tmp/evaluation-result-4519225-1751508303/solver-4519225-1751508303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751500320-69283 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4519225-1751508303.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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=73826, runsolver pid=73823

[startup+0.100102 s]*
/proc/loadavg: 5.04 5.44 6.25 6/253 73827
/proc/meminfo: memFree=129302532/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=41716 memory=7168 CPUtime=0.1 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) R 73823 73826 69270 0 -1 4194304 777 0 0 0 10 0 0 0 20 0 1 0 66508990 42717184 1792 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 10429 1792 1184 6655 0 664 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 7168 KiB

[startup+0.213237 s]*
/proc/loadavg: 5.04 5.44 6.25 6/253 73827
/proc/meminfo: memFree=129302532/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=41716 memory=7168 CPUtime=0.21 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) R 73823 73826 69270 0 -1 4194304 777 0 0 0 21 0 0 0 20 0 1 0 66508990 42717184 1792 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 10429 1792 1184 6655 0 664 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 7168 KiB

[startup+0.313143 s]*
/proc/loadavg: 5.04 5.44 6.25 6/253 73827
/proc/meminfo: memFree=129302532/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=41716 memory=7168 CPUtime=0.31 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) R 73823 73826 69270 0 -1 4194304 778 0 0 0 31 0 0 0 20 0 1 0 66508990 42717184 1792 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 10429 1792 1184 6655 0 664 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 7168 KiB

[startup+0.700324 s]
/proc/loadavg: 5.04 5.44 6.25 6/253 73827
/proc/meminfo: memFree=129302532/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=41716 memory=7168 CPUtime=0.68 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) R 73823 73826 69270 0 -1 4194304 778 0 0 0 68 0 0 0 20 0 1 0 66508990 42717184 1792 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 10429 1792 1184 6655 0 664 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 7168 KiB

[startup+1.50027 s]
/proc/loadavg: 5.04 5.44 6.25 6/253 73827
/proc/meminfo: memFree=129302532/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=41716 memory=7168 CPUtime=1.48 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) R 73823 73826 69270 0 -1 4194304 778 0 0 0 148 0 0 0 20 0 1 0 66508990 42717184 1792 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 10429 1792 1184 6655 0 664 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 7168 KiB

[startup+3.11277 s]
/proc/loadavg: 5.04 5.44 6.25 6/253 73827
/proc/meminfo: memFree=129302284/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=41716 memory=7168 CPUtime=3.09 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) R 73823 73826 69270 0 -1 4194304 778 0 0 0 309 0 0 0 20 0 1 0 66508990 42717184 1792 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 10429 1792 1184 6655 0 664 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 7168 KiB

[startup+6.3003 s]
/proc/loadavg: 5.04 5.44 6.25 6/253 73827
/proc/meminfo: memFree=129293988/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=41716 memory=7168 CPUtime=6.27 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) R 73823 73826 69270 0 -1 4194304 778 0 0 0 627 0 0 0 20 0 1 0 66508990 42717184 1792 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 10429 1792 1184 6655 0 664 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 7168 KiB

[startup+12.7004 s]
/proc/loadavg: 5.03 5.43 6.24 6/254 73830
/proc/meminfo: memFree=129268400/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=124736 memory=28384 CPUtime=10.08 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) S 73823 73826 69270 0 -1 4194304 3658 230 0 0 1007 1 0 0 20 0 1 0 66508990 127729664 7096 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 31184 7096 3456 6655 0 5770 0
[pid=73830] ppid=73826 vsize=34628 memory=17148 CPUtime=2.57 cores=5,7
/proc/73830/stat : 73830 (Exact) R 73826 73830 73830 0 -1 4194304 2770 0 0 0 255 2 0 0 20 0 1 0 66509999 35459072 4287 18446744073709551615 4198400 8335837 140721417546688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35897344 140721417554100 140721417554461 140721417554461 140721417560015 0
/proc/73830/statm: 8657 4287 1120 1011 0 7424 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 159364 KiB
Current children cumulated memory: 45532 KiB

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

# cumulated CPU time of all completed processes:  user=14.2301 s, system=0.050926 s

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

[startup+12.8004 s]
/proc/loadavg: 5.03 5.43 6.24 6/254 73830
/proc/meminfo: memFree=129268400/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=124736 memory=28384 CPUtime=10.08 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) S 73823 73826 69270 0 -1 4194304 3658 230 0 0 1007 1 0 0 20 0 1 0 66508990 127729664 7096 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 31184 7096 3456 6655 0 5770 0
[pid=73830] ppid=73826 vsize=34816 memory=17276 CPUtime=2.67 cores=5,7
/proc/73830/stat : 73830 (Exact) R 73826 73830 73830 0 -1 4194304 2811 0 0 0 265 2 0 0 20 0 1 0 66509999 35651584 4319 18446744073709551615 4198400 8335837 140721417546688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35897344 140721417554100 140721417554461 140721417554461 140721417560015 0
/proc/73830/statm: 8704 4319 1120 1011 0 7471 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 159552 KiB
Current children cumulated memory: 45660 KiB

[startup+13.6004 s]
/proc/loadavg: 5.03 5.43 6.24 6/254 73830
/proc/meminfo: memFree=129268400/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=124736 memory=28384 CPUtime=10.08 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) S 73823 73826 69270 0 -1 4194304 3658 230 0 0 1007 1 0 0 20 0 1 0 66508990 127729664 7096 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 31184 7096 3456 6655 0 5770 0
[pid=73830] ppid=73826 vsize=35408 memory=19720 CPUtime=3.47 cores=5,7
/proc/73830/stat : 73830 (Exact) R 73826 73830 73830 0 -1 4194304 2933 0 0 0 345 2 0 0 20 0 1 0 66509999 36257792 4930 18446744073709551615 4198400 8335837 140721417546688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35897344 140721417554100 140721417554461 140721417554461 140721417560015 0
/proc/73830/statm: 8852 4930 1120 1011 0 7619 0
Current children cumulated CPU time: 13.55 s
Current children cumulated vsize: 160144 KiB
Current children cumulated memory: 48104 KiB

[startup+14.0003 s]*
/proc/loadavg: 5.03 5.42 6.23 6/254 73830
/proc/meminfo: memFree=129264644/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=124736 memory=28384 CPUtime=10.08 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) S 73823 73826 69270 0 -1 4194304 3658 230 0 0 1007 1 0 0 20 0 1 0 66508990 127729664 7096 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 31184 7096 3456 6655 0 5770 0
[pid=73830] ppid=73826 vsize=35704 memory=20232 CPUtime=3.88 cores=5,7
/proc/73830/stat : 73830 (Exact) R 73826 73830 73830 0 -1 4194304 3036 0 0 0 386 2 0 0 20 0 1 0 66509999 36560896 5058 18446744073709551615 4198400 8335837 140721417546688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35897344 140721417554100 140721417554461 140721417554461 140721417560015 0
/proc/73830/statm: 8926 5058 1120 1011 0 7693 0
Current children cumulated CPU time: 13.96 s
Current children cumulated vsize: 160440 KiB
Current children cumulated memory: 48616 KiB

[startup+14.2003 s]
/proc/loadavg: 5.03 5.42 6.23 6/254 73830
/proc/meminfo: memFree=129264644/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=124736 memory=28384 CPUtime=10.08 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) S 73823 73826 69270 0 -1 4194304 3658 230 0 0 1007 1 0 0 20 0 1 0 66508990 127729664 7096 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 31184 7096 3456 6655 0 5770 0
[pid=73830] ppid=73826 vsize=35968 memory=24624 CPUtime=4.06 cores=5,7
/proc/73830/stat : 73830 (Exact) R 73826 73830 73830 0 -1 4194304 3113 0 0 0 404 2 0 0 20 0 1 0 66509999 36831232 6156 18446744073709551615 4198400 8335837 140721417546688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35897344 140721417554100 140721417554461 140721417554461 140721417560015 0
/proc/73830/statm: 8992 6156 1120 1011 0 7759 0
Current children cumulated CPU time: 14.14 s
Current children cumulated vsize: 160704 KiB
Current children cumulated memory: 53008 KiB

[startup+14.3004 s]
/proc/loadavg: 5.03 5.42 6.23 6/254 73830
/proc/meminfo: memFree=129264644/131382120 swapFree=33010416/33010684
[pid=73826] ppid=73823 vsize=124736 memory=28384 CPUtime=10.08 cores=5,7
/proc/73826/stat : 73826 (LSIPExact) S 73823 73826 69270 0 -1 4194304 3658 230 0 0 1007 1 0 0 20 0 1 0 66508990 127729664 7096 18446744073709551615 94024871215104 94024898471505 140726182838256 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94024906974344 94024907405952 94024917893120 140726182840666 140726182840842 140726182840842 140726182846444 0
/proc/73826/statm: 31184 7096 3456 6655 0 5770 0
[pid=73830] ppid=73826 vsize=36432 memory=25008 CPUtime=4.16 cores=5,7
/proc/73830/stat : 73830 (Exact) R 73826 73830 73830 0 -1 4194304 3210 0 0 0 414 2 0 0 20 0 1 0 66509999 37306368 6252 18446744073709551615 4198400 8335837 140721417546688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35897344 140721417554100 140721417554461 140721417554461 140721417560015 0
/proc/73830/statm: 9108 6252 1120 1011 0 7875 0
Current children cumulated CPU time: 14.24 s
Current children cumulated vsize: 161168 KiB
Current children cumulated memory: 53392 KiB

Child status: 0

Real time (s): 14.3167
CPU time (s): 14.2811
CPU user time (s): 14.2301
CPU system time (s): 0.050926
CPU usage (%): 99.7507
Max. virtual memory (cumulated for all children) (KiB): 161168
Max. memory (cumulated for all children) (KiB): 53392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2301
system time used= 0.050926
maximum resident set size= 29104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7135
page faults= 0
swaps= 0
block input operations= 136
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 423
involuntary context switches= 25


# summary of solver processes directly reported to runsolver:
#   pid: 73826
#   total CPU time (s): 14.2811
#   total CPU user time (s): 14.2301
#   total CPU system time (s): 0.050926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099619 second user time and 0.203313 second system time

The end