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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443829-1721310089/watcher-4443829-1721310089 -o /tmp/evaluation-result-4443829-1721310089/solver-4443829-1721310089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721306161-953163 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4443829-1721310089.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=956687, runsolver pid=956684
Current StackSize limit: 8192 KiB


[startup+0.100919 s]*
/proc/loadavg: 4.06 4.10 4.09 5/261 956692
/proc/meminfo: memFree=126791916/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=4980 memory=3232 CPUtime=0.09 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 468 0 0 0 9 0 0 0 20 0 1 0 183175567 5099520 808 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 1245 808 500 659 0 449 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14912 KiB
Current children cumulated memory: 5920 KiB

[startup+0.205304 s]*
/proc/loadavg: 4.06 4.10 4.09 5/261 956692
/proc/meminfo: memFree=126786700/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=7028 memory=4420 CPUtime=0.19 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 722 0 0 0 19 0 0 0 20 0 1 0 183175567 7196672 1105 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 1757 1105 500 659 0 961 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 16960 KiB
Current children cumulated memory: 7108 KiB

[startup+0.30487 s]*
/proc/loadavg: 4.06 4.10 4.09 5/261 956692
/proc/meminfo: memFree=126782664/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=8188 memory=5472 CPUtime=0.29 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 1007 0 0 0 29 0 0 0 20 0 1 0 183175567 8384512 1368 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 2047 1368 500 659 0 1251 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18120 KiB
Current children cumulated memory: 8160 KiB

[startup+0.700168 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 956692
/proc/meminfo: memFree=126779808/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=12284 memory=9240 CPUtime=0.68 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 1974 0 0 0 68 0 0 0 20 0 1 0 183175567 12578816 2310 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 3071 2310 500 659 0 2275 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22216 KiB
Current children cumulated memory: 11928 KiB

[startup+1.50025 s]
/proc/loadavg: 4.05 4.09 4.09 5/261 956692
/proc/meminfo: memFree=126764556/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=20476 memory=17448 CPUtime=1.48 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 2982 0 0 0 147 1 0 0 20 0 1 0 183175567 20967424 4362 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 5119 4362 500 659 0 4323 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30408 KiB
Current children cumulated memory: 20136 KiB

[startup+3.10432 s]
/proc/loadavg: 4.05 4.09 4.09 5/261 956692
/proc/meminfo: memFree=126684108/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=55516 memory=45396 CPUtime=3.08 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 10020 0 0 0 305 3 0 0 20 0 1 0 183175567 56848384 11349 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 13879 11349 532 659 0 13083 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65448 KiB
Current children cumulated memory: 48084 KiB

[startup+4.11023 s]
# the end of solver process 956687 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=4.0445 s, system=0.050341 s

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

[startup+3.20018 s]
/proc/loadavg: 4.05 4.09 4.09 5/261 956692
/proc/meminfo: memFree=126684108/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=55912 memory=45924 CPUtime=3.18 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 10143 0 0 0 315 3 0 0 20 0 1 0 183175567 57253888 11481 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 13978 11481 532 659 0 13182 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 65844 KiB
Current children cumulated memory: 48612 KiB

[startup+3.60012 s]
/proc/loadavg: 4.05 4.09 4.09 5/261 956692
/proc/meminfo: memFree=126684108/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=57252 memory=46716 CPUtime=3.58 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 10346 0 0 0 355 3 0 0 20 0 1 0 183175567 58626048 11679 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 14313 11679 532 659 0 13517 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 67184 KiB
Current children cumulated memory: 49404 KiB

[startup+4.00014 s]*
/proc/loadavg: 4.05 4.09 4.09 5/261 956692
/proc/meminfo: memFree=126622044/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=110724 memory=90408 CPUtime=3.98 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 18803 0 0 0 394 4 0 0 20 0 1 0 183175567 113381376 22602 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 27681 22602 532 659 0 26885 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 120656 KiB
Current children cumulated memory: 93096 KiB

[startup+4.10512 s]
/proc/loadavg: 4.05 4.09 4.09 5/261 956692
/proc/meminfo: memFree=126622044/131524600 swapFree=131071996/131071996
[pid=956687] ppid=956684 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/956687/stat : 956687 (naps-1.03.sh) S 956684 956687 953153 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 183175567 10170368 672 134679101440 94538206060544 94538207139864 140724104033376 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94538209238320 94538209285508 94538211037184 140724104041443 140724104041568 140724104041568 140724104048584 0
/proc/956687/statm: 2483 672 594 264 0 134 0
[pid=956692] ppid=956687 vsize=110724 memory=92456 CPUtime=4.08 cores=0,2
/proc/956692/stat : 956692 (naps-1.03) R 956687 956687 953153 0 -1 4194304 18818 0 0 0 404 4 0 0 20 0 1 0 183175567 113381376 23114 134679101440 4194304 6891213 140723741085584 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 19214336 140723741094900 140723741095012 140723741095012 140723741102027 0
/proc/956692/statm: 27681 23114 532 659 0 26885 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 120656 KiB
Current children cumulated memory: 95144 KiB

Child status: 10

Real time (s): 4.11026
CPU time (s): 4.09484
CPU user time (s): 4.0445
CPU system time (s): 0.050341
CPU usage (%): 99.6248
Max. virtual memory (cumulated for all children) (KiB): 120656
Max. memory (cumulated for all children) (KiB): 95144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.0445
system time used= 0.050341
maximum resident set size= 92456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19297
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= 33


# summary of solver processes directly reported to runsolver:
#   pid: 956687
#   total CPU time (s): 4.09484
#   total CPU user time (s): 4.0445
#   total CPU system time (s): 0.050341

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020581 second user time and 0.03498 second system time

The end