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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434358-1721106546/watcher-4434358-1721106546 -o /tmp/evaluation-result-4434358-1721106546/solver-4434358-1721106546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721106203-856269 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434358-1721106546.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=857050, runsolver pid=857047
Current StackSize limit: 8192 KiB


[startup+0.100264 s]*
/proc/loadavg: 4.12 4.09 4.07 5/259 857055
/proc/meminfo: memFree=111189012/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=6100 memory=4692 CPUtime=0.09 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 668 0 0 0 9 0 0 0 20 0 1 0 162822030 6246400 1173 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 1525 1173 612 659 0 729 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16032 KiB
Current children cumulated memory: 7452 KiB

[startup+0.206263 s]*
/proc/loadavg: 4.12 4.09 4.07 6/259 857055
/proc/meminfo: memFree=111189012/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=6100 memory=4692 CPUtime=0.19 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 672 0 0 0 19 0 0 0 20 0 1 0 162822030 6246400 1173 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 1525 1173 612 659 0 729 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 16032 KiB
Current children cumulated memory: 7452 KiB

[startup+0.305897 s]*
/proc/loadavg: 4.11 4.09 4.07 5/259 857055
/proc/meminfo: memFree=111172516/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=35768 memory=25428 CPUtime=0.29 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 5592 0 0 0 28 1 0 0 20 0 1 0 162822030 36626432 6357 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 8942 6357 612 659 0 8146 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45700 KiB
Current children cumulated memory: 28188 KiB

[startup+0.700298 s]
/proc/loadavg: 4.11 4.09 4.07 5/259 857055
/proc/meminfo: memFree=111072272/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=218352 memory=214028 CPUtime=0.68 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 35477 0 0 0 61 7 0 0 20 0 1 0 162822030 223592448 53507 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 54588 53507 612 659 0 53792 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 228284 KiB
Current children cumulated memory: 216788 KiB

[startup+1.50029 s]
/proc/loadavg: 4.11 4.09 4.07 5/259 857055
/proc/meminfo: memFree=110956316/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=398916 memory=384600 CPUtime=1.47 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 51518 0 0 0 135 12 0 0 20 0 1 0 162822030 408489984 96150 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 99729 96150 644 659 0 98933 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 408848 KiB
Current children cumulated memory: 387360 KiB

[startup+3.10566 s]
/proc/loadavg: 4.11 4.09 4.07 5/259 857055
/proc/meminfo: memFree=110786660/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=427888 memory=405968 CPUtime=3.07 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 52795 0 0 0 294 13 0 0 20 0 1 0 162822030 438157312 101492 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 106972 101492 644 659 0 106176 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 437820 KiB
Current children cumulated memory: 408728 KiB

[startup+6.30029 s]
/proc/loadavg: 4.10 4.09 4.07 5/259 857056
/proc/meminfo: memFree=110724448/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=484536 memory=467992 CPUtime=6.26 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 57770 0 0 0 607 19 0 0 20 0 1 0 162822030 496164864 116998 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 121134 116998 644 659 0 120338 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 494468 KiB
Current children cumulated memory: 470752 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.09 4.07 5/259 857056
/proc/meminfo: memFree=110739684/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=568616 memory=545524 CPUtime=12.64 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 61500 0 0 0 1240 24 0 0 20 0 1 0 162822030 582262784 136381 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 142154 136381 660 659 0 141358 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 578548 KiB
Current children cumulated memory: 548284 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 4.08 5/259 857059
/proc/meminfo: memFree=110502928/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=469096 memory=455152 CPUtime=25.41 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 67598 0 0 0 2510 31 0 0 20 0 1 0 162822030 480354304 113788 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 117274 113788 660 659 0 116478 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 479028 KiB
Current children cumulated memory: 457912 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.09 4.08 5/259 857062
/proc/meminfo: memFree=110361728/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=469096 memory=455444 CPUtime=50.94 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 67831 0 0 0 5063 31 0 0 20 0 1 0 162822030 480354304 113861 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 117274 113861 660 659 0 116478 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 479028 KiB
Current children cumulated memory: 458204 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/261 857075
/proc/meminfo: memFree=110078084/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=469096 memory=455464 CPUtime=101.99 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 69359 0 0 0 10166 33 0 0 20 0 1 0 162822030 480354304 113866 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 117274 113866 660 659 0 116478 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 479028 KiB
Current children cumulated memory: 458224 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/260 857085
/proc/meminfo: memFree=109922224/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=510664 memory=499000 CPUtime=161.84 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 70530 0 0 0 16149 35 0 0 20 0 1 0 162822030 522919936 124750 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 127666 124750 660 659 0 126870 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 520596 KiB
Current children cumulated memory: 501760 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 857096
/proc/meminfo: memFree=111886984/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=469096 memory=457520 CPUtime=221.67 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 71313 0 0 0 22130 37 0 0 20 0 1 0 162822030 480354304 114380 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 117274 114380 660 659 0 116478 0
Current children cumulated CPU time: 221.67 s

################
# More data... #
################

/proc/loadavg: 4.09 4.12 4.09 5/260 858788
/proc/meminfo: memFree=111767036/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=593640 memory=521128 CPUtime=3093.57 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 126773 0 0 0 309223 134 0 0 20 0 1 0 162822030 607887360 130282 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 148410 130282 660 659 0 147614 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 603572 KiB
Current children cumulated memory: 523888 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/259 858798
/proc/meminfo: memFree=112627472/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=595200 memory=522688 CPUtime=3153.4 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 128199 0 0 0 315204 136 0 0 20 0 1 0 162822030 609484800 130672 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 148800 130672 660 659 0 148004 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 605132 KiB
Current children cumulated memory: 525448 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/259 858808
/proc/meminfo: memFree=112625532/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=594864 memory=522352 CPUtime=3213.23 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 128496 0 0 0 321186 137 0 0 20 0 1 0 162822030 609140736 130588 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 148716 130588 660 659 0 147920 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 604796 KiB
Current children cumulated memory: 525112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 858869
/proc/meminfo: memFree=112762000/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=594796 memory=522284 CPUtime=3273.06 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 129317 0 0 0 327168 138 0 0 20 0 1 0 162822030 609071104 130571 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 148699 130571 660 659 0 147903 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 604728 KiB
Current children cumulated memory: 525044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/259 858880
/proc/meminfo: memFree=112763232/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=592176 memory=519664 CPUtime=3332.89 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 129957 0 0 0 333150 139 0 0 20 0 1 0 162822030 606388224 129916 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 148044 129916 660 659 0 147248 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 602108 KiB
Current children cumulated memory: 522424 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/258 858890
/proc/meminfo: memFree=112792580/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=595124 memory=522612 CPUtime=3392.72 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 130319 0 0 0 339131 141 0 0 20 0 1 0 162822030 609406976 130653 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 148781 130653 660 659 0 147985 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 605056 KiB
Current children cumulated memory: 525372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 859149
/proc/meminfo: memFree=118759872/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=595472 memory=522960 CPUtime=3452.52 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 131292 0 0 0 345110 142 0 0 20 0 1 0 162822030 609763328 130740 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 148868 130740 660 659 0 148072 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 605404 KiB
Current children cumulated memory: 525720 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 859160
/proc/meminfo: memFree=118647084/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=595092 memory=522580 CPUtime=3512.33 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 131694 0 0 0 351090 143 0 0 20 0 1 0 162822030 609374208 130645 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 148773 130645 660 659 0 147977 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 605024 KiB
Current children cumulated memory: 525340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 859170
/proc/meminfo: memFree=118289624/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=597276 memory=525284 CPUtime=3572.14 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 133417 0 0 0 357068 146 0 0 20 0 1 0 162822030 611610624 131321 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 149319 131321 660 659 0 148523 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 607208 KiB
Current children cumulated memory: 528044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/258 859174
/proc/meminfo: memFree=117922016/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=597276 memory=525284 CPUtime=3600.06 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 133434 0 0 0 359860 146 0 0 20 0 1 0 162822030 611610624 131321 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 149319 131321 660 659 0 148523 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 607208 KiB
Current children cumulated memory: 528044 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.61 s, system=1.46749 s

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

[startup+3610.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/258 859174
/proc/meminfo: memFree=117922016/131524600 swapFree=131071996/131071996
[pid=857050] ppid=857047 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/857050/stat : 857050 (naps-1.03.sh) S 857047 857050 856257 0 -1 4194304 221 237 0 0 0 0 0 0 20 0 1 0 162822029 10170368 690 134679101440 94407767724032 94407768803352 140729405826368 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407770901808 94407770948996 94407802040320 140729405830116 140729405830241 140729405830241 140729405837256 0
/proc/857050/statm: 2483 690 612 264 0 134 0
[pid=857055] ppid=857050 vsize=597276 memory=525284 CPUtime=3600.06 cores=1,3
/proc/857055/stat : 857055 (naps-1.03) R 857050 857050 856257 0 -1 4194304 133434 0 0 0 359860 146 0 0 20 0 1 0 162822030 611610624 131321 134679101440 4194304 6891213 140732418159552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15609856 140732418163701 140732418163813 140732418163813 140732418170827 0
/proc/857055/statm: 149319 131321 660 659 0 148523 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 607208 KiB
Current children cumulated memory: 528044 KiB

Child status: 10

Real time (s): 3610.3
CPU time (s): 3600.07
CPU user time (s): 3598.61
CPU system time (s): 1.46749
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 669432
Max. memory (cumulated for all children) (KiB): 606368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.61
system time used= 1.46749
maximum resident set size= 603608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133906
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= 72
involuntary context switches= 1270


# summary of solver processes directly reported to runsolver:
#   pid: 857050
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.61
#   total CPU system time (s): 1.46749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1214 second user time and 12.764 second system time

The end