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: 63931 MiB (53223 MiB free)
  memory of node 1: 64510 MiB (52692 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455926-1721718336/watcher-4455926-1721718336 -o /tmp/evaluation-result-4455926-1721718336/solver-4455926-1721718336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721718332-86719 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4455926-1721718336.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=86893, runsolver pid=86890
Current StackSize limit: 8192 KiB


[startup+0.10039 s]*
/proc/loadavg: 1.93 2.04 2.07 5/261 86898
/proc/meminfo: memFree=108419376/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=9368 memory=8004 CPUtime=0.09 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 1573 0 0 0 9 0 0 0 20 0 1 0 8357177 9592832 2001 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 2342 2001 612 659 0 1546 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19300 KiB
Current children cumulated memory: 10708 KiB

[startup+0.205424 s]*
/proc/loadavg: 1.93 2.04 2.07 5/261 86898
/proc/meminfo: memFree=108388044/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=9368 memory=8004 CPUtime=0.2 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 1573 0 0 0 20 0 0 0 20 0 1 0 8357177 9592832 2001 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 2342 2001 612 659 0 1546 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19300 KiB
Current children cumulated memory: 10708 KiB

[startup+0.304445 s]*
/proc/loadavg: 1.93 2.04 2.07 5/261 86898
/proc/meminfo: memFree=108241464/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=11040 memory=9324 CPUtime=0.29 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 1892 0 0 0 29 0 0 0 20 0 1 0 8357177 11304960 2331 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 2760 2331 612 659 0 1964 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20972 KiB
Current children cumulated memory: 12028 KiB

[startup+0.70028 s]
/proc/loadavg: 1.93 2.04 2.07 5/261 86898
/proc/meminfo: memFree=108106644/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=125872 memory=123356 CPUtime=0.68 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 16152 0 0 0 65 3 0 0 20 0 1 0 8357177 128892928 30839 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 31468 30839 612 659 0 30672 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135804 KiB
Current children cumulated memory: 126060 KiB

[startup+1.50029 s]
/proc/loadavg: 1.93 2.04 2.07 5/261 86898
/proc/meminfo: memFree=107724100/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=494732 memory=481200 CPUtime=1.48 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 58954 0 0 0 135 13 0 0 20 0 1 0 8357177 506605568 120300 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 123683 120300 612 659 0 122887 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 504664 KiB
Current children cumulated memory: 483904 KiB

[startup+3.10565 s]
/proc/loadavg: 1.93 2.04 2.07 5/261 86898
/proc/meminfo: memFree=106268888/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=878936 memory=849308 CPUtime=3.08 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 95838 0 0 0 284 24 0 0 20 0 1 0 8357177 900030464 212327 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 219734 212327 644 659 0 218938 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 888868 KiB
Current children cumulated memory: 852012 KiB

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

# cumulated CPU time of all completed processes:  user=5.23976 s, system=0.472879 s

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

[startup+3.20031 s]
/proc/loadavg: 1.93 2.04 2.07 5/261 86898
/proc/meminfo: memFree=106268888/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=967420 memory=939976 CPUtime=3.18 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 97518 0 0 0 292 26 0 0 20 0 1 0 8357177 990638080 234994 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 241855 234994 644 659 0 241059 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 977352 KiB
Current children cumulated memory: 942680 KiB

[startup+4.80025 s]
/proc/loadavg: 1.93 2.04 2.07 5/261 86898
/proc/meminfo: memFree=105575828/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=1464280 memory=1368544 CPUtime=4.77 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 114657 0 0 0 437 40 0 0 20 0 1 0 8357177 1499422720 342136 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 366070 342136 644 659 0 365274 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 1474212 KiB
Current children cumulated memory: 1371248 KiB

[startup+5.20024 s]
/proc/loadavg: 2.10 2.07 2.08 5/261 86898
/proc/meminfo: memFree=105176836/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=1565988 memory=1475332 CPUtime=5.17 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 132710 0 0 0 473 44 0 0 20 0 1 0 8357177 1603571712 368833 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 391497 368833 644 659 0 390701 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 1575920 KiB
Current children cumulated memory: 1478036 KiB

[startup+5.60028 s]
/proc/loadavg: 2.10 2.07 2.08 5/261 86898
/proc/meminfo: memFree=105176836/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=1594896 memory=1512388 CPUtime=5.57 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 139992 0 0 0 513 44 0 0 20 0 1 0 8357177 1633173504 378097 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 398724 378097 644 659 0 397928 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 1604828 KiB
Current children cumulated memory: 1515092 KiB

[startup+5.70026 s]
/proc/loadavg: 2.10 2.07 2.08 5/261 86898
/proc/meminfo: memFree=105176836/131524600 swapFree=131071996/131071996
[pid=86893] ppid=86890 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86893/stat : 86893 (naps-1.03.sh) S 86890 86893 86707 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8357177 10170368 676 134679101440 93984752361472 93984753440792 140729878200800 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93984755539248 93984755586436 93984788881408 140729878209507 140729878209632 140729878209632 140729878216648 0
/proc/86893/statm: 2483 676 597 264 0 134 0
[pid=86898] ppid=86893 vsize=1594896 memory=1512388 CPUtime=5.67 cores=1,3
/proc/86898/stat : 86898 (naps-1.03) R 86893 86893 86707 0 -1 4194304 140020 0 0 0 523 44 0 0 20 0 1 0 8357177 1633173504 378097 134679101440 4194304 6891213 140722987646704 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17395712 140722987652084 140722987652196 140722987652196 140722987659211 0
/proc/86898/statm: 398724 378097 644 659 0 397928 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 1604828 KiB
Current children cumulated memory: 1515092 KiB

Child status: 30

Real time (s): 5.72983
CPU time (s): 5.71264
CPU user time (s): 5.23976
CPU system time (s): 0.472879
CPU usage (%): 99.7
Max. virtual memory (cumulated for all children) (KiB): 1604828
Max. memory (cumulated for all children) (KiB): 1515092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.23976
system time used= 0.472879
maximum resident set size= 1512388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140499
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= 9


# summary of solver processes directly reported to runsolver:
#   pid: 86893
#   total CPU time (s): 5.71264
#   total CPU user time (s): 5.23976
#   total CPU system time (s): 0.472879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025868 second user time and 0.046294 second system time

The end