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: 63837 MiB (59119 MiB free)
  memory of node 1: 64465 MiB (57875 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486324-1751313399/watcher-4486324-1751313399 -o /tmp/evaluation-result-4486324-1751313399/solver-4486324-1751313399 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751305074-43434 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4486324-1751313399.opb 

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44869, runsolver pid=44866

[startup+0.100106 s]*
/proc/loadavg: 4.82 4.38 4.23 5/254 44873
/proc/meminfo: memFree=119654940/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=5596 memory=4096 CPUtime=0.09 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 550 0 0 0 9 0 0 0 20 0 1 0 47019329 5730304 1024 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 1399 1024 544 696 0 560 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9788 KiB
Current children cumulated memory: 7168 KiB

[startup+0.213854 s]*
/proc/loadavg: 4.82 4.38 4.23 6/254 44873
/proc/meminfo: memFree=119654688/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=7024 memory=5504 CPUtime=0.2 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 911 0 0 0 20 0 0 0 20 0 1 0 47019329 7192576 1376 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 1756 1376 544 696 0 917 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 11216 KiB
Current children cumulated memory: 8576 KiB

[startup+0.313759 s]*
/proc/loadavg: 4.82 4.38 4.23 5/254 44873
/proc/meminfo: memFree=119650908/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=10268 memory=8704 CPUtime=0.3 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 1705 0 0 0 29 1 0 0 20 0 1 0 47019329 10514432 2176 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 2567 2176 544 696 0 1728 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14460 KiB
Current children cumulated memory: 11776 KiB

[startup+0.700404 s]
/proc/loadavg: 4.82 4.38 4.23 5/254 44873
/proc/meminfo: memFree=119638560/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=22412 memory=20648 CPUtime=0.67 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 4975 0 0 0 65 2 0 0 20 0 1 0 47019329 22949888 5162 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 5603 5162 576 696 0 4764 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 26604 KiB
Current children cumulated memory: 23720 KiB

[startup+1.5004 s]
/proc/loadavg: 4.75 4.37 4.23 5/254 44873
/proc/meminfo: memFree=119639064/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=60900 memory=58880 CPUtime=1.46 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 14847 0 0 0 139 7 0 0 20 0 1 0 47019329 62361600 14720 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 15225 14720 608 696 0 14386 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65092 KiB
Current children cumulated memory: 61952 KiB

[startup+3.11328 s]
/proc/loadavg: 4.75 4.37 4.23 5/254 44873
/proc/meminfo: memFree=119421052/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=250132 memory=242220 CPUtime=3.08 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 56536 0 0 0 292 16 0 0 20 0 1 0 47019329 256135168 60555 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 62533 60555 608 696 0 61694 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 254324 KiB
Current children cumulated memory: 245292 KiB

[startup+6.30041 s]
/proc/loadavg: 4.69 4.37 4.23 5/254 44873
/proc/meminfo: memFree=119367436/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=290676 memory=279812 CPUtime=6.25 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 61655 0 0 0 607 18 0 0 20 0 1 0 47019329 297652224 69953 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 72669 69953 640 696 0 71830 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 294868 KiB
Current children cumulated memory: 282884 KiB

[startup+12.7004 s]
/proc/loadavg: 4.64 4.36 4.23 5/254 44873
/proc/meminfo: memFree=119362636/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=280896 memory=270016 CPUtime=12.63 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 62780 0 0 0 1244 19 0 0 20 0 1 0 47019329 287637504 67504 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 70224 67504 640 696 0 69385 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 285088 KiB
Current children cumulated memory: 273088 KiB

[startup+25.5004 s]
/proc/loadavg: 4.54 4.35 4.23 5/254 44873
/proc/meminfo: memFree=118804064/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=266932 memory=256140 CPUtime=25.38 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 65953 0 0 0 2518 20 0 0 20 0 1 0 47019329 273338368 64035 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 66733 64035 640 696 0 65894 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 271124 KiB
Current children cumulated memory: 259212 KiB

[startup+51.1135 s]
/proc/loadavg: 4.32 4.31 4.22 5/254 44874
/proc/meminfo: memFree=119368736/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=271768 memory=261104 CPUtime=50.89 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 68904 0 0 0 5068 21 0 0 20 0 1 0 47019329 278290432 65276 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 67942 65276 640 696 0 67103 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 275960 KiB
Current children cumulated memory: 264176 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.28 4.21 5/254 44875
/proc/meminfo: memFree=119304268/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=287992 memory=277184 CPUtime=101.89 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 70096 0 0 0 10167 22 0 0 20 0 1 0 47019329 294903808 69296 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 71998 69296 640 696 0 71159 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 292184 KiB
Current children cumulated memory: 280256 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.26 4.20 5/254 44879
/proc/meminfo: memFree=119035904/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=275292 memory=264500 CPUtime=161.67 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 72614 0 0 0 16144 23 0 0 20 0 1 0 47019329 281899008 66125 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 68823 66125 640 696 0 67984 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 279484 KiB
Current children cumulated memory: 267572 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.22 4.19 5/254 44886
/proc/meminfo: memFree=118395916/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=310472 memory=299708 CPUtime=221.44 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 74532 0 0 0 22119 25 0 0 20 0 1 0 47019329 317923328 74927 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 77618 74927 640 696 0 76779 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 314664 KiB

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

/proc/loadavg: 2.05 2.27 3.00 3/240 45130
/proc/meminfo: memFree=126430392/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=440296 memory=426180 CPUtime=3091.17 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 130586 0 0 0 309031 86 0 0 20 0 1 0 47019329 450863104 106545 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 110074 106545 640 696 0 109235 0
Current children cumulated CPU time: 3091.17 s
Current children cumulated vsize: 444488 KiB
Current children cumulated memory: 429252 KiB

[startup+3162.3 s]
/proc/loadavg: 2.06 2.23 2.94 3/241 45133
/proc/meminfo: memFree=126426148/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=440628 memory=426512 CPUtime=3150.98 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 132003 0 0 0 315010 88 0 0 20 0 1 0 47019329 451203072 106628 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 110157 106628 640 696 0 109318 0
Current children cumulated CPU time: 3150.98 s
Current children cumulated vsize: 444820 KiB
Current children cumulated memory: 429584 KiB

[startup+3222.3 s]
/proc/loadavg: 2.12 2.22 2.89 3/241 45137
/proc/meminfo: memFree=126466792/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=454012 memory=439896 CPUtime=3210.8 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 133263 0 0 0 320990 90 0 0 20 0 1 0 47019329 464908288 109974 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 113503 109974 640 696 0 112664 0
Current children cumulated CPU time: 3210.8 s
Current children cumulated vsize: 458204 KiB
Current children cumulated memory: 442968 KiB

[startup+3282.3 s]
/proc/loadavg: 2.10 2.19 2.83 3/241 45145
/proc/meminfo: memFree=126453676/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=460036 memory=445920 CPUtime=3270.61 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 134820 0 0 0 326967 94 0 0 20 0 1 0 47019329 471076864 111480 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 115009 111480 640 696 0 114170 0
Current children cumulated CPU time: 3270.61 s
Current children cumulated vsize: 464228 KiB
Current children cumulated memory: 448992 KiB

[startup+3342.3 s]
/proc/loadavg: 2.11 2.17 2.78 3/241 45147
/proc/meminfo: memFree=126448236/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=442236 memory=428120 CPUtime=3330.43 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 136330 0 0 0 332946 97 0 0 20 0 1 0 47019329 452849664 107030 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 110559 107030 640 696 0 109720 0
Current children cumulated CPU time: 3330.43 s
Current children cumulated vsize: 446428 KiB
Current children cumulated memory: 431192 KiB

[startup+3402.3 s]
/proc/loadavg: 2.09 2.15 2.74 3/241 45149
/proc/meminfo: memFree=126452208/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=447472 memory=433356 CPUtime=3390.25 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 137250 0 0 0 338926 99 0 0 20 0 1 0 47019329 458211328 108339 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 111868 108339 640 696 0 111029 0
Current children cumulated CPU time: 3390.25 s
Current children cumulated vsize: 451664 KiB
Current children cumulated memory: 436428 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.14 2.70 3/240 45151
/proc/meminfo: memFree=126477664/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=440616 memory=426500 CPUtime=3450.07 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 138637 0 0 0 344905 102 0 0 20 0 1 0 47019329 451190784 106625 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 110154 106625 640 696 0 109315 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 444808 KiB
Current children cumulated memory: 429572 KiB

[startup+3522.3 s]
/proc/loadavg: 2.06 2.12 2.65 3/240 45153
/proc/meminfo: memFree=126479892/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=448700 memory=434584 CPUtime=3509.89 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 140225 0 0 0 350884 105 0 0 20 0 1 0 47019329 459468800 108646 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 112175 108646 640 696 0 111336 0
Current children cumulated CPU time: 3509.89 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 437656 KiB

[startup+3582.3 s]
/proc/loadavg: 2.07 2.11 2.62 3/239 45155
/proc/meminfo: memFree=126452144/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=441720 memory=427604 CPUtime=3569.7 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 141122 0 0 0 356863 107 0 0 20 0 1 0 47019329 452321280 106901 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 110430 106901 640 696 0 109591 0
Current children cumulated CPU time: 3569.7 s
Current children cumulated vsize: 445912 KiB
Current children cumulated memory: 430676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 2.10 2.12 2.60 3/239 45157
/proc/meminfo: memFree=126419352/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=455256 memory=441140 CPUtime=3600.01 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 141664 0 0 0 359892 109 0 0 20 0 1 0 47019329 466182144 110285 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 113814 110285 640 696 0 112975 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 459448 KiB
Current children cumulated memory: 444212 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.93 s, system=1.10262 s

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

[startup+3612.7 s]
/proc/loadavg: 2.10 2.12 2.60 3/239 45157
/proc/meminfo: memFree=126419352/131382112 swapFree=33010684/33010684
[pid=44869] ppid=44866 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/44869/stat : 44869 (naps-1.03a6.sh) S 44866 44869 43422 0 -1 4194304 230 200 0 0 0 0 0 0 20 0 1 0 47019327 4292608 768 18446744073709551615 94212265820160 94212266714693 140732832250368 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94212266953744 94212267001488 94212284588032 140732832258471 140732832258565 140732832258565 140732832264167 0
/proc/44869/statm: 1048 768 704 219 0 110 0
[pid=44873] ppid=44869 vsize=455256 memory=441140 CPUtime=3600.01 cores=1,3
/proc/44873/stat : 44873 (naps-1.03a6) R 44869 44869 43422 0 -1 4194304 141664 0 0 0 359892 109 0 0 20 0 1 0 47019329 466182144 110285 18446744073709551615 4198400 7047149 140727194291728 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 13430784 140727194298740 140727194298854 140727194298854 140727194304457 0
/proc/44873/statm: 113814 110285 640 696 0 112975 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 459448 KiB
Current children cumulated memory: 444212 KiB

Child status: 10

Real time (s): 3612.7
CPU time (s): 3600.04
CPU user time (s): 3598.93
CPU system time (s): 1.10262
CPU usage (%): 99.6494
Max. virtual memory (cumulated for all children) (KiB): 543208
Max. memory (cumulated for all children) (KiB): 527952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.93
system time used= 1.10262
maximum resident set size= 524880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142107
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= 173
involuntary context switches= 1407


# summary of solver processes directly reported to runsolver:
#   pid: 44869
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.93
#   total CPU system time (s): 1.10262

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5547 second user time and 36.1836 second system time

The end