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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524557-1751613874/watcher-4524557-1751613874 -o /tmp/evaluation-result-4524557-1751613874/solver-4524557-1751613874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751612589-84047 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524557-1751613874.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=84628, runsolver pid=84625

[startup+0.100109 s]*
/proc/loadavg: 4.95 4.45 3.90 5/255 84632
/proc/meminfo: memFree=99904420/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=13116 memory=11320 CPUtime=0.08 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 2719 0 0 0 7 1 0 0 20 0 1 0 77066205 13430784 2830 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 3279 2830 576 696 0 2440 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 17308 KiB
Current children cumulated memory: 14392 KiB

[startup+0.21345 s]*
/proc/loadavg: 4.95 4.45 3.90 5/255 84632
/proc/meminfo: memFree=99896608/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=22744 memory=21112 CPUtime=0.2 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 5368 0 0 0 18 2 0 0 20 0 1 0 77066205 23289856 5278 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 5719 5278 576 696 0 4880 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26936 KiB
Current children cumulated memory: 24184 KiB

[startup+0.314112 s]*
/proc/loadavg: 4.95 4.45 3.90 5/255 84632
/proc/meminfo: memFree=99888544/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=27592 memory=25720 CPUtime=0.29 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 6518 0 0 0 27 2 0 0 20 0 1 0 77066205 28254208 6430 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 6898 6430 576 696 0 6059 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 31784 KiB
Current children cumulated memory: 28792 KiB

[startup+0.70037 s]
/proc/loadavg: 4.95 4.45 3.90 5/255 84632
/proc/meminfo: memFree=99880480/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=64792 memory=61704 CPUtime=0.66 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 14941 0 0 0 62 4 0 0 20 0 1 0 77066205 66347008 15426 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 16198 15426 608 696 0 15359 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 64776 KiB

[startup+1.50042 s]
/proc/loadavg: 4.95 4.45 3.90 5/255 84632
/proc/meminfo: memFree=99848616/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=83888 memory=80964 CPUtime=1.46 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 21922 0 0 0 139 7 0 0 20 0 1 0 77066205 85901312 20241 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 20972 20241 608 696 0 20133 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 88080 KiB
Current children cumulated memory: 84036 KiB

[startup+3.11328 s]
/proc/loadavg: 4.87 4.44 3.90 5/255 84632
/proc/meminfo: memFree=99817568/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=106676 memory=104412 CPUtime=3.07 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 26156 0 0 0 298 9 0 0 20 0 1 0 77066205 109236224 26103 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 26669 26103 640 696 0 25830 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 110868 KiB
Current children cumulated memory: 107484 KiB

[startup+6.30034 s]
/proc/loadavg: 4.87 4.44 3.90 5/255 84633
/proc/meminfo: memFree=99824188/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=139232 memory=124224 CPUtime=6.25 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 26996 0 0 0 615 10 0 0 20 0 1 0 77066205 142573568 31056 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 34808 31056 640 696 0 33969 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 143424 KiB
Current children cumulated memory: 127296 KiB

[startup+12.7003 s]
/proc/loadavg: 4.80 4.43 3.90 5/255 84633
/proc/meminfo: memFree=99882420/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=139232 memory=124224 CPUtime=12.64 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 27000 0 0 0 1254 10 0 0 20 0 1 0 77066205 142573568 31056 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 34808 31056 640 696 0 33969 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 143424 KiB
Current children cumulated memory: 127296 KiB

[startup+25.5004 s]
/proc/loadavg: 4.69 4.43 3.91 5/254 84633
/proc/meminfo: memFree=99900952/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=139232 memory=126272 CPUtime=25.41 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 27006 0 0 0 2531 10 0 0 20 0 1 0 77066205 142573568 31568 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 34808 31568 640 696 0 33969 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 143424 KiB
Current children cumulated memory: 129344 KiB

[startup+51.1131 s]
/proc/loadavg: 4.45 4.39 3.91 5/254 84633
/proc/meminfo: memFree=99917524/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=139232 memory=126272 CPUtime=50.96 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 27013 0 0 0 5086 10 0 0 20 0 1 0 77066205 142573568 31568 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 34808 31568 640 696 0 33969 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 143424 KiB
Current children cumulated memory: 129344 KiB

[startup+102.3 s]
/proc/loadavg: 4.27 4.35 3.92 5/254 84635
/proc/meminfo: memFree=99828836/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=146964 memory=133912 CPUtime=102.03 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 28400 0 0 0 10192 11 0 0 20 0 1 0 77066205 150491136 33478 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 36741 33478 640 696 0 35902 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 151156 KiB
Current children cumulated memory: 136984 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.30 3.93 5/254 84637
/proc/meminfo: memFree=94214524/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=145152 memory=132120 CPUtime=161.88 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 32476 0 0 0 16173 15 0 0 20 0 1 0 77066205 148635648 33030 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 36288 33030 640 696 0 35449 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 149344 KiB
Current children cumulated memory: 135192 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.26 3.94 5/254 84639
/proc/meminfo: memFree=98244020/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=161796 memory=148760 CPUtime=221.74 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 34082 0 0 0 22159 15 0 0 20 0 1 0 77066205 165679104 37190 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 40449 37190 640 696 0 39610 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 165988 KiB

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

/proc/loadavg: 4.14 4.14 4.16 5/254 84890
/proc/meminfo: memFree=126760472/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=244916 memory=231216 CPUtime=3034.55 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 162192 0 0 0 303227 228 0 0 20 0 1 0 77066205 250793984 57804 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 61229 57804 640 696 0 60390 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 249108 KiB
Current children cumulated memory: 234288 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/255 84895
/proc/meminfo: memFree=126670260/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=251572 memory=237872 CPUtime=3094.42 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 164246 0 0 0 309209 233 0 0 20 0 1 0 77066205 257609728 59468 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 62893 59468 640 696 0 62054 0
Current children cumulated CPU time: 3094.42 s
Current children cumulated vsize: 255764 KiB
Current children cumulated memory: 240944 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/255 84897
/proc/meminfo: memFree=126712128/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=292424 memory=278724 CPUtime=3154.27 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 167243 0 0 0 315189 238 0 0 20 0 1 0 77066205 299442176 69681 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 73106 69681 640 696 0 72267 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 296616 KiB
Current children cumulated memory: 281796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/255 84899
/proc/meminfo: memFree=126751580/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=245428 memory=231728 CPUtime=3214.12 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 169961 0 0 0 321168 244 0 0 20 0 1 0 77066205 251318272 57932 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 61357 57932 640 696 0 60518 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 249620 KiB
Current children cumulated memory: 234800 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/255 84901
/proc/meminfo: memFree=126724068/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=289044 memory=275344 CPUtime=3273.98 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 172039 0 0 0 327150 248 0 0 20 0 1 0 77066205 295981056 68836 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 72261 68836 640 696 0 71422 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 293236 KiB
Current children cumulated memory: 278416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/254 84907
/proc/meminfo: memFree=126636744/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=294756 memory=281380 CPUtime=3333.83 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 173878 0 0 0 333130 253 0 0 20 0 1 0 77066205 301830144 70345 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 73689 70345 640 696 0 72850 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 298948 KiB
Current children cumulated memory: 284452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/253 84909
/proc/meminfo: memFree=126664992/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=261452 memory=248076 CPUtime=3393.68 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 176395 0 0 0 339108 260 0 0 20 0 1 0 77066205 267726848 62019 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 65363 62019 640 696 0 64524 0
Current children cumulated CPU time: 3393.68 s
Current children cumulated vsize: 265644 KiB
Current children cumulated memory: 251148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/253 84959
/proc/meminfo: memFree=125889028/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=283524 memory=270148 CPUtime=3453.53 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 177780 0 0 0 345090 263 0 0 20 0 1 0 77066205 290328576 67537 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 70881 67537 640 696 0 70042 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 287716 KiB
Current children cumulated memory: 273220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/253 85009
/proc/meminfo: memFree=125668776/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=314436 memory=302084 CPUtime=3513.39 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 179083 0 0 0 351072 267 0 0 20 0 1 0 77066205 321982464 75521 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 78609 75521 640 696 0 77770 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 318628 KiB
Current children cumulated memory: 305156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.11 5/254 85251
/proc/meminfo: memFree=124762588/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=352404 memory=336968 CPUtime=3573.24 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 186257 0 0 0 357046 278 0 0 20 0 1 0 77066205 360861696 84242 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 88101 84242 640 696 0 87262 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 356596 KiB
Current children cumulated memory: 340040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.07 4.08 4.11 5/254 85251
/proc/meminfo: memFree=116651156/131382120 swapFree=33010416/33010684
[pid=84628] ppid=84625 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84628/stat : 84628 (naps-1.03a6.sh) S 84625 84628 83368 0 -1 4194304 230 197 0 0 0 0 0 0 20 0 1 0 77066203 4292608 768 18446744073709551615 94270004482048 94270005376581 140730373642160 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94270005615632 94270005663376 94270037225472 140730373646757 140730373646851 140730373646851 140730373652455 0
/proc/84628/statm: 1048 768 704 219 0 110 0
[pid=84632] ppid=84628 vsize=277520 memory=262084 CPUtime=3600.06 cores=4,6
/proc/84632/stat : 84632 (naps-1.03a6) R 84628 84628 83368 0 -1 4194304 187352 0 0 0 359726 280 0 0 20 0 1 0 77066205 284180480 65521 18446744073709551615 4198400 7047149 140736503569200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13107200 140736503572850 140736503572964 140736503572964 140736503578569 0
/proc/84632/statm: 69380 65521 640 696 0 68541 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 281712 KiB
Current children cumulated memory: 265156 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.27 s, system=2.8106 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): 3609.2
CPU time (s): 3600.08
CPU user time (s): 3597.27
CPU system time (s): 2.8106
CPU usage (%): 99.7473
Max. virtual memory (cumulated for all children) (KiB): 573608
Max. memory (cumulated for all children) (KiB): 518488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.27
system time used= 2.8106
maximum resident set size= 553944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187790
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= 177
involuntary context switches= 1784


# summary of solver processes directly reported to runsolver:
#   pid: 84628
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3597.27
#   total CPU system time (s): 2.8106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5197 second user time and 37.0883 second system time

The end