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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463394-1722352357/watcher-4463394-1722352357 -o /tmp/evaluation-result-4463394-1722352357/solver-4463394-1722352357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722352256-13664 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463394-1722352357.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=14003, runsolver pid=14000
Current StackSize limit: 8192 KiB


[startup+0.10082 s]*
/proc/loadavg: 3.54 2.53 2.81 5/252 14008
/proc/meminfo: memFree=111080532/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=13944 memory=12040 CPUtime=0.08 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 2902 0 0 0 8 0 0 0 20 0 1 0 1607155 14278656 3010 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 3486 3010 596 659 0 2690 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23876 KiB
Current children cumulated memory: 14836 KiB

[startup+0.214819 s]*
/proc/loadavg: 3.54 2.53 2.81 6/252 14008
/proc/meminfo: memFree=111067112/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=28388 memory=25984 CPUtime=0.19 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 6940 0 0 0 18 1 0 0 20 0 1 0 1607155 29069312 6496 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 7097 6496 612 659 0 6301 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38320 KiB
Current children cumulated memory: 28780 KiB

[startup+0.314247 s]*
/proc/loadavg: 3.54 2.53 2.81 5/252 14008
/proc/meminfo: memFree=111061932/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=33296 memory=30856 CPUtime=0.29 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 8131 0 0 0 27 2 0 0 20 0 1 0 1607155 34095104 7714 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 8324 7714 644 659 0 7528 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 33652 KiB

[startup+0.700415 s]
/proc/loadavg: 3.54 2.53 2.81 5/252 14008
/proc/meminfo: memFree=111056728/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=41804 memory=39764 CPUtime=0.66 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 9828 0 0 0 64 2 0 0 20 0 1 0 1607155 42807296 9941 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 10451 9941 644 659 0 9655 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 51736 KiB
Current children cumulated memory: 42560 KiB

[startup+1.50041 s]
/proc/loadavg: 3.54 2.53 2.81 5/252 14008
/proc/meminfo: memFree=111052412/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=51584 memory=49924 CPUtime=1.46 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 14550 0 0 0 143 3 0 0 20 0 1 0 1607155 52822016 12481 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 12896 12481 660 659 0 12100 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 61516 KiB
Current children cumulated memory: 52720 KiB

[startup+3.11387 s]
/proc/loadavg: 3.58 2.55 2.82 5/252 14008
/proc/meminfo: memFree=111042296/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=53796 memory=50312 CPUtime=3.07 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 16750 0 0 0 303 4 0 0 20 0 1 0 1607155 55087104 12578 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 13449 12578 660 659 0 12653 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 63728 KiB
Current children cumulated memory: 53108 KiB

[startup+6.30039 s]
/proc/loadavg: 3.58 2.55 2.82 5/252 14009
/proc/meminfo: memFree=112280804/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=58240 memory=54844 CPUtime=6.24 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 17991 0 0 0 620 4 0 0 20 0 1 0 1607155 59637760 13711 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 14560 13711 660 659 0 13764 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 68172 KiB
Current children cumulated memory: 57640 KiB

[startup+12.7004 s]
/proc/loadavg: 3.64 2.60 2.83 5/252 14009
/proc/meminfo: memFree=111955220/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=58240 memory=54844 CPUtime=12.63 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 17995 0 0 0 1259 4 0 0 20 0 1 0 1607155 59637760 13711 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 14560 13711 660 659 0 13764 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 68172 KiB
Current children cumulated memory: 57640 KiB

[startup+25.5004 s]
/proc/loadavg: 3.70 2.65 2.85 5/251 14012
/proc/meminfo: memFree=111290288/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=57020 memory=53768 CPUtime=25.39 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 21318 0 0 0 2534 5 0 0 20 0 1 0 1607155 58388480 13442 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 14255 13442 660 659 0 13459 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 66952 KiB
Current children cumulated memory: 56564 KiB

[startup+51.1142 s]
/proc/loadavg: 3.86 2.77 2.88 5/251 14015
/proc/meminfo: memFree=110063112/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=77564 memory=74136 CPUtime=50.93 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 28001 0 0 0 5085 8 0 0 20 0 1 0 1607155 79425536 18534 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 19391 18534 660 659 0 18595 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 87496 KiB
Current children cumulated memory: 76932 KiB

[startup+102.3 s]
/proc/loadavg: 3.99 3.00 2.95 5/249 14025
/proc/meminfo: memFree=103837776/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=79896 memory=76292 CPUtime=101.95 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 35052 0 0 0 10184 11 0 0 20 0 1 0 1607155 81813504 19073 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 19974 19073 660 659 0 19178 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 89828 KiB
Current children cumulated memory: 79088 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.21 3.03 5/246 14086
/proc/meminfo: memFree=118818596/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=106804 memory=103660 CPUtime=161.74 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 38018 0 0 0 16162 12 0 0 20 0 1 0 1607155 109367296 25915 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 26701 25915 660 659 0 25905 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 116736 KiB
Current children cumulated memory: 106456 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.37 3.10 5/245 14147
/proc/meminfo: memFree=113004152/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=121732 memory=118748 CPUtime=221.58 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 39246 0 0 0 22145 13 0 0 20 0 1 0 1607155 124653568 29687 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 30433 29687 660 659 0 29637 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 131664 KiB

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

/proc/loadavg: 4.11 4.11 4.09 5/248 15857
/proc/meminfo: memFree=103500420/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=252100 memory=249296 CPUtime=3094.13 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 197196 0 0 0 309114 299 0 0 20 0 1 0 1607155 258150400 62324 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 63025 62324 660 659 0 62229 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 262032 KiB
Current children cumulated memory: 252092 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/248 15868
/proc/meminfo: memFree=103739684/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=252832 memory=250028 CPUtime=3153.97 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 199959 0 0 0 315089 308 0 0 20 0 1 0 1607155 258899968 62507 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 63208 62507 660 659 0 62412 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 262764 KiB
Current children cumulated memory: 252824 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/245 15880
/proc/meminfo: memFree=103744252/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=257388 memory=254584 CPUtime=3213.81 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 202499 0 0 0 321066 315 0 0 20 0 1 0 1607155 263565312 63646 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 64347 63646 660 659 0 63551 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 267320 KiB
Current children cumulated memory: 257380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.60 4.25 4.14 5/245 15890
/proc/meminfo: memFree=103721508/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=267492 memory=264688 CPUtime=3273.66 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 204155 0 0 0 327044 322 0 0 20 0 1 0 1607155 273911808 66172 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 66873 66172 660 659 0 66077 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 277424 KiB
Current children cumulated memory: 267484 KiB

[startup+3342.3 s]
/proc/loadavg: 4.54 4.32 4.17 5/245 15900
/proc/meminfo: memFree=103637736/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=255540 memory=252736 CPUtime=3333.47 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 206291 0 0 0 333020 327 0 0 20 0 1 0 1607155 261672960 63184 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 63885 63184 660 659 0 63089 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 265472 KiB
Current children cumulated memory: 255532 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.29 4.17 5/245 15911
/proc/meminfo: memFree=103716028/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=255180 memory=252376 CPUtime=3393.28 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 208291 0 0 0 338994 334 0 0 20 0 1 0 1607155 261304320 63094 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 63795 63094 660 659 0 62999 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 265112 KiB
Current children cumulated memory: 255172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.74 4.42 4.22 5/248 15926
/proc/meminfo: memFree=102374260/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=260204 memory=257400 CPUtime=3453.09 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 210745 0 0 0 344969 340 0 0 20 0 1 0 1607155 266448896 64350 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 65051 64350 660 659 0 64255 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 270136 KiB
Current children cumulated memory: 260196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.39 4.22 4/241 15969
/proc/meminfo: memFree=103890784/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=255556 memory=252752 CPUtime=3512.9 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 213050 0 0 0 350945 345 0 0 20 0 1 0 1607155 261689344 63188 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 63889 63188 660 659 0 63093 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 265488 KiB
Current children cumulated memory: 255548 KiB

[startup+3582.3 s]
/proc/loadavg: 3.42 4.11 4.14 3/233 16009
/proc/meminfo: memFree=104267784/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=258856 memory=256052 CPUtime=3572.7 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 216717 0 0 0 356916 354 0 0 20 0 1 0 1607155 265068544 64013 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 64714 64013 660 659 0 63918 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 268788 KiB
Current children cumulated memory: 258848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 2.93 3.93 4.08 3/233 16015
/proc/meminfo: memFree=104272760/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=254020 memory=251216 CPUtime=3600.03 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 216921 0 0 0 359647 356 0 0 20 0 1 0 1607155 260116480 62804 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 63505 62804 660 659 0 62709 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 263952 KiB
Current children cumulated memory: 254012 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.47 s, system=3.57003 s

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

[startup+3609.7 s]
/proc/loadavg: 2.93 3.93 4.08 3/233 16015
/proc/meminfo: memFree=104272760/131655788 swapFree=131071216/131071996
[pid=14003] ppid=14000 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/14003/stat : 14003 (naps-1.03.sh) S 14000 14003 13652 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1607154 10170368 699 134679101440 93876426575872 93876427655192 140736566093904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93876429753648 93876429800836 93876434710528 140736566100963 140736566101088 140736566101088 140736566108104 0
/proc/14003/statm: 2483 699 624 264 0 134 0
[pid=14008] ppid=14003 vsize=254020 memory=251216 CPUtime=3600.03 cores=1,3
/proc/14008/stat : 14008 (naps-1.03a2) R 14003 14003 13652 0 -1 4194304 216921 0 0 0 359647 356 0 0 20 0 1 0 1607155 260116480 62804 134679101440 4194304 6891597 140736077859536 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31391744 140736077861870 140736077861984 140736077861984 140736077869001 0
/proc/14008/statm: 63505 62804 660 659 0 62709 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 263952 KiB
Current children cumulated memory: 254012 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.04
CPU user time (s): 3596.47
CPU system time (s): 3.57003
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 416124
Max. memory (cumulated for all children) (KiB): 401780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.47
system time used= 3.57003
maximum resident set size= 398984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217398
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= 42
involuntary context switches= 1874


# summary of solver processes directly reported to runsolver:
#   pid: 14003
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3596.47
#   total CPU system time (s): 3.57003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9684 second user time and 39.3893 second system time

The end