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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461002-1722076861/watcher-4461002-1722076861 -o /tmp/evaluation-result-4461002-1722076861/solver-4461002-1722076861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722076860-317817 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461002-1722076861.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=317940, runsolver pid=317937

[startup+0.100095 s]*
/proc/loadavg: 1.06 1.32 2.25 5/264 317945
/proc/meminfo: memFree=113605124/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=32812 memory=28800 CPUtime=0.09 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 6641 0 0 0 9 0 0 0 20 0 1 0 44210306 33599488 7200 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 8203 7200 468 659 0 7407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42744 KiB
Current children cumulated memory: 31476 KiB

[startup+0.206169 s]*
/proc/loadavg: 1.06 1.32 2.25 5/264 317945
/proc/meminfo: memFree=113599944/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=35964 memory=31716 CPUtime=0.19 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 8881 0 0 0 19 0 0 0 20 0 1 0 44210306 36827136 7929 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 8991 7929 468 659 0 8195 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 34392 KiB

[startup+0.306138 s]*
/proc/loadavg: 1.06 1.32 2.25 5/264 317945
/proc/meminfo: memFree=113591172/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=40740 memory=35412 CPUtime=0.3 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 9856 0 0 0 29 1 0 0 20 0 1 0 44210306 41717760 8853 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 10185 8853 468 659 0 9389 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50672 KiB
Current children cumulated memory: 38088 KiB

[startup+0.700237 s]
/proc/loadavg: 1.30 1.36 2.26 5/264 317945
/proc/meminfo: memFree=113577268/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=56764 memory=51920 CPUtime=0.68 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 11705 0 0 0 67 1 0 0 20 0 1 0 44210306 58126336 12980 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 14191 12980 468 659 0 13395 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66696 KiB
Current children cumulated memory: 54596 KiB

[startup+1.50024 s]
/proc/loadavg: 1.30 1.36 2.26 5/264 317945
/proc/meminfo: memFree=113561436/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=63944 memory=52472 CPUtime=1.49 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 13686 0 0 0 147 2 0 0 20 0 1 0 44210306 65478656 13118 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 15986 13118 468 659 0 15190 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 73876 KiB
Current children cumulated memory: 55148 KiB

[startup+3.10588 s]
/proc/loadavg: 1.30 1.36 2.26 5/264 317945
/proc/meminfo: memFree=113528112/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=94588 memory=83916 CPUtime=3.09 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 14929 0 0 0 306 3 0 0 20 0 1 0 44210306 96858112 20979 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 23647 20979 468 659 0 22851 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 104520 KiB
Current children cumulated memory: 86592 KiB

[startup+6.30026 s]
/proc/loadavg: 1.51 1.41 2.27 5/264 317945
/proc/meminfo: memFree=113438640/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=152556 memory=120328 CPUtime=6.28 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 16966 0 0 0 623 5 0 0 20 0 1 0 44210306 156217344 30082 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 38139 30082 468 659 0 37343 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 162488 KiB
Current children cumulated memory: 123004 KiB

[startup+12.7003 s]
/proc/loadavg: 1.71 1.45 2.28 5/264 317946
/proc/meminfo: memFree=113377200/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=102800 memory=97516 CPUtime=12.66 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 17266 0 0 0 1260 6 0 0 20 0 1 0 44210306 105267200 24379 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 25700 24379 468 659 0 24904 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 112732 KiB
Current children cumulated memory: 100192 KiB

[startup+25.5003 s]
/proc/loadavg: 2.14 1.55 2.31 5/264 317948
/proc/meminfo: memFree=113321372/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=102800 memory=98280 CPUtime=25.42 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 18624 0 0 0 2533 9 0 0 20 0 1 0 44210306 105267200 24570 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 25700 24570 468 659 0 24904 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 112732 KiB
Current children cumulated memory: 100956 KiB

[startup+51.106 s]
/proc/loadavg: 2.87 1.79 2.36 5/264 317953
/proc/meminfo: memFree=113116288/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=201972 memory=192256 CPUtime=50.97 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 21969 0 0 0 5083 14 0 0 20 0 1 0 44210306 206819328 48064 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 50493 48064 468 659 0 49697 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 211904 KiB
Current children cumulated memory: 194932 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.14 2.46 5/264 317963
/proc/meminfo: memFree=112979756/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=206112 memory=183844 CPUtime=102.02 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 26565 0 0 0 10180 22 0 0 20 0 1 0 44210306 211058688 45961 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 51528 45961 468 659 0 50732 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 216044 KiB
Current children cumulated memory: 186520 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.52 2.57 5/264 317974
/proc/meminfo: memFree=112936540/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=236932 memory=214936 CPUtime=161.86 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 29296 0 0 0 16159 27 0 0 20 0 1 0 44210306 242618368 53734 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 59233 53734 468 659 0 58437 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 246864 KiB
Current children cumulated memory: 217612 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.79 2.66 5/264 317984
/proc/meminfo: memFree=112925700/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=242196 memory=214048 CPUtime=221.7 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 32003 0 0 0 22139 31 0 0 20 0 1 0 44210306 248008704 53512 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 60549 53512 468 659 0 59753 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 252128 KiB

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

/proc/loadavg: 4.13 4.11 4.04 5/263 319683
/proc/meminfo: memFree=111365296/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=405676 memory=385688 CPUtime=3033.44 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 102178 0 0 0 303189 155 0 0 20 0 1 0 44210306 415412224 96422 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 101419 96422 468 659 0 100623 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 415608 KiB
Current children cumulated memory: 388364 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/264 319695
/proc/meminfo: memFree=111482280/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=487568 memory=453528 CPUtime=3093.27 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 102996 0 0 0 309170 157 0 0 20 0 1 0 44210306 499269632 113382 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 121892 113382 468 659 0 121096 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 497500 KiB
Current children cumulated memory: 456204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/262 319706
/proc/meminfo: memFree=111429324/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=621852 memory=489848 CPUtime=3153.09 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 104139 0 0 0 315151 158 0 0 20 0 1 0 44210306 636776448 122462 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 155463 122462 468 659 0 154667 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 631784 KiB
Current children cumulated memory: 492524 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/262 319716
/proc/meminfo: memFree=111363848/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=411236 memory=364328 CPUtime=3212.92 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 105976 0 0 0 321132 160 0 0 20 0 1 0 44210306 421105664 91082 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 102809 91082 468 659 0 102013 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 421168 KiB
Current children cumulated memory: 367004 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.04 5/259 319727
/proc/meminfo: memFree=111538848/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=492624 memory=408004 CPUtime=3272.75 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 106821 0 0 0 327113 162 0 0 20 0 1 0 44210306 504446976 102001 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 123156 102001 468 659 0 122360 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 502556 KiB
Current children cumulated memory: 410680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.48 4.20 4.08 5/259 319737
/proc/meminfo: memFree=111614676/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=492624 memory=469676 CPUtime=3332.56 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 107013 0 0 0 333093 163 0 0 20 0 1 0 44210306 504446976 117419 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 123156 117419 468 659 0 122360 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 502556 KiB
Current children cumulated memory: 472352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.09 5/258 319749
/proc/meminfo: memFree=111351148/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=629044 memory=515784 CPUtime=3392.38 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 108550 0 0 0 339074 164 0 0 20 0 1 0 44210306 644141056 128946 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 157261 128946 468 659 0 156465 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 638976 KiB
Current children cumulated memory: 518460 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.20 4.10 5/258 319759
/proc/meminfo: memFree=111315868/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=418092 memory=381324 CPUtime=3452.2 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 110097 0 0 0 345053 167 0 0 20 0 1 0 44210306 428126208 95331 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 104523 95331 468 659 0 103727 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 384000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.10 5/258 319769
/proc/meminfo: memFree=111565024/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=499480 memory=430476 CPUtime=3512.03 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 110813 0 0 0 351035 168 0 0 20 0 1 0 44210306 511467520 107619 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 124870 107619 468 659 0 124074 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 509412 KiB
Current children cumulated memory: 433152 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.18 4.10 5/259 319783
/proc/meminfo: memFree=111656332/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=500324 memory=471952 CPUtime=3571.86 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 111213 0 0 0 357017 169 0 0 20 0 1 0 44210306 512331776 117988 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 125081 117988 468 659 0 124285 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 510256 KiB
Current children cumulated memory: 474628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.17 4.18 4.10 5/259 319890
/proc/meminfo: memFree=112276736/131524600 swapFree=131054224/131071996
[pid=317940] ppid=317937 vsize=9932 memory=2676 CPUtime=0 cores=5,7
/proc/317940/stat : 317940 (naps-1.03.sh) S 317937 317940 317804 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 44210306 10170368 669 134679101440 94920436723712 94920437803032 140724551038256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94920439901488 94920439948676 94920440905728 140724551042013 140724551042142 140724551042142 140724551049160 0
/proc/317940/statm: 2483 669 591 264 0 134 0
[pid=317945] ppid=317940 vsize=501672 memory=487448 CPUtime=3600.07 cores=5,7
/proc/317945/stat : 317945 (naps-1.03) R 317940 317940 317804 0 -1 4194304 111580 0 0 0 359838 169 0 0 20 0 1 0 44210306 513712128 121862 134679101440 4194304 6891597 140736387293968 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 38461440 140736387298286 140736387298402 140736387298402 140736387305419 0
/proc/317945/statm: 125418 121862 468 659 0 124622 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 511604 KiB
Current children cumulated memory: 490124 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.39 s, system=1.69938 s

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

Child status: 10

Real time (s): 3610.6
CPU time (s): 3600.09
CPU user time (s): 3598.39
CPU system time (s): 1.69938
CPU usage (%): 99.7088
Max. virtual memory (cumulated for all children) (KiB): 714956
Max. memory (cumulated for all children) (KiB): 561552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.39
system time used= 1.69938
maximum resident set size= 595228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112060
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= 107
involuntary context switches= 4752


# summary of solver processes directly reported to runsolver:
#   pid: 317940
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.39
#   total CPU system time (s): 1.69938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02929 second user time and 18.6442 second system time

The end