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: 63968 MiB (31399 MiB free)
  memory of node 1: 64473 MiB (38858 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456378-1721719425/watcher-4456378-1721719425 -o /tmp/evaluation-result-4456378-1721719425/solver-4456378-1721719425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721718361-85695 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456378-1721719425.wbo 

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=86973, runsolver pid=86970

[startup+0.100089 s]*
/proc/loadavg: 4.36 4.11 3.51 5/265 86978
/proc/meminfo: memFree=71936148/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=14064 memory=9084 CPUtime=0.09 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 1967 0 0 0 9 0 0 0 20 0 1 0 8465464 14401536 2271 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 3516 2271 405 379 0 3050 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23996 KiB
Current children cumulated memory: 11788 KiB

[startup+0.20613 s]*
/proc/loadavg: 4.36 4.11 3.51 5/265 86978
/proc/meminfo: memFree=71927100/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=20596 memory=17524 CPUtime=0.19 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 3659 0 0 0 19 0 0 0 20 0 1 0 8465464 21090304 4381 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 5149 4381 405 379 0 4683 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30528 KiB
Current children cumulated memory: 20228 KiB

[startup+0.306071 s]*
/proc/loadavg: 4.36 4.11 3.51 5/265 86978
/proc/meminfo: memFree=71901740/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=46316 memory=42544 CPUtime=0.29 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 10233 0 0 0 28 1 0 0 20 0 1 0 8465464 47427584 10636 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 11579 10636 421 379 0 11113 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 45248 KiB

[startup+0.700273 s]
/proc/loadavg: 4.36 4.11 3.51 5/265 86978
/proc/meminfo: memFree=71900292/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=122412 memory=114128 CPUtime=0.68 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 24826 0 0 0 64 4 0 0 20 0 1 0 8465464 125349888 28532 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 30603 28532 421 379 0 30137 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 132344 KiB
Current children cumulated memory: 116832 KiB

[startup+1.50028 s]
/proc/loadavg: 4.36 4.11 3.51 6/265 86978
/proc/meminfo: memFree=71811492/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=206220 memory=181668 CPUtime=1.48 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 36640 0 0 0 140 8 0 0 20 0 1 0 8465464 211169280 45417 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 51555 45417 421 379 0 51089 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 216152 KiB
Current children cumulated memory: 184372 KiB

[startup+3.10613 s]
/proc/loadavg: 4.57 4.15 3.53 5/265 86978
/proc/meminfo: memFree=71621732/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=372524 memory=340600 CPUtime=3.09 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 45380 0 0 0 297 12 0 0 20 0 1 0 8465464 381464576 85150 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 93131 85150 421 379 0 92665 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 382456 KiB
Current children cumulated memory: 343304 KiB

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

# cumulated CPU time of all completed processes:  user=4.4233 s, system=0.161576 s

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

[startup+3.2003 s]
/proc/loadavg: 4.57 4.15 3.53 5/265 86978
/proc/meminfo: memFree=71621732/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=372524 memory=342648 CPUtime=3.18 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 45392 0 0 0 306 12 0 0 20 0 1 0 8465464 381464576 85662 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 93131 85662 421 379 0 92665 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 382456 KiB
Current children cumulated memory: 345352 KiB

[startup+4.00024 s]*
/proc/loadavg: 4.57 4.15 3.53 6/265 86978
/proc/meminfo: memFree=71523572/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=441252 memory=409904 CPUtime=3.99 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 48650 0 0 0 385 14 0 0 20 0 1 0 8465464 451842048 102476 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 110313 102476 421 379 0 109847 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 451184 KiB
Current children cumulated memory: 412608 KiB

[startup+4.40023 s]
/proc/loadavg: 4.57 4.15 3.53 6/265 86978
/proc/meminfo: memFree=71523572/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=490056 memory=451536 CPUtime=4.38 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 49927 0 0 0 423 15 0 0 20 0 1 0 8465464 501817344 112884 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 122514 112884 421 379 0 122048 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 499988 KiB
Current children cumulated memory: 454240 KiB

[startup+4.50024 s]
/proc/loadavg: 4.57 4.15 3.53 6/265 86978
/proc/meminfo: memFree=71523572/131524600 swapFree=131071996/131071996
[pid=86973] ppid=86970 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/86973/stat : 86973 (naps-1.02b5.sh) S 86970 86973 85682 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8465464 10170368 676 134679101440 93976529424384 93976530503704 140722207781696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93976532602160 93976532649348 93976540119040 140722207790047 140722207790174 140722207790174 140722207797190 0
/proc/86973/statm: 2483 676 598 264 0 134 0
[pid=86978] ppid=86973 vsize=490056 memory=451536 CPUtime=4.48 cores=5,7
/proc/86978/stat : 86978 (naps-1.02b5) R 86973 86973 85682 0 -1 4194304 49928 0 0 0 433 15 0 0 20 0 1 0 8465464 501817344 112884 134679101440 4194304 5746509 140732221430256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25911296 140732221436910 140732221437024 140732221437024 140732221444041 0
/proc/86978/statm: 122514 112884 421 379 0 122048 0
Current children cumulated CPU time: 4.48 s
Current children cumulated vsize: 499988 KiB
Current children cumulated memory: 454240 KiB

Child status: 30

Real time (s): 4.59733
CPU time (s): 4.58487
CPU user time (s): 4.4233
CPU system time (s): 0.161576
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 499988
Max. memory (cumulated for all children) (KiB): 454240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.4233
system time used= 0.161576
maximum resident set size= 451536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50415
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= 12
involuntary context switches= 8


# summary of solver processes directly reported to runsolver:
#   pid: 86973
#   total CPU time (s): 4.58487
#   total CPU user time (s): 4.4233
#   total CPU system time (s): 0.161576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017816 second user time and 0.055712 second system time

The end