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: 63665 MiB (62654 MiB free)
  memory of node 1: 64507 MiB (63372 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497138-1751389964/watcher-4497138-1751389964 -o /tmp/evaluation-result-4497138-1751389964/solver-4497138-1751389964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751386340-51545 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4497138-1751389964.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=52273, runsolver pid=52270
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.10 4.11 4.09 5/269 52277
/proc/meminfo: memFree=129051356/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=5624 memory=4096 CPUtime=0.08 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 520 0 0 0 8 0 0 0 20 0 1 0 54676246 5758976 1024 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 1406 1024 576 696 0 567 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9816 KiB
Current children cumulated memory: 7040 KiB

[startup+0.205972 s]*
/proc/loadavg: 4.10 4.11 4.09 5/269 52277
/proc/meminfo: memFree=129051356/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=5624 memory=4096 CPUtime=0.19 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 523 0 0 0 19 0 0 0 20 0 1 0 54676246 5758976 1024 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 1406 1024 576 696 0 567 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 9816 KiB
Current children cumulated memory: 7040 KiB

[startup+0.305795 s]*
/proc/loadavg: 4.10 4.11 4.09 5/269 52277
/proc/meminfo: memFree=129051356/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=35288 memory=32208 CPUtime=0.28 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 5767 0 0 0 28 0 0 0 20 0 1 0 54676246 36134912 8052 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 8822 8052 576 696 0 7983 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39480 KiB
Current children cumulated memory: 35152 KiB

[startup+0.700203 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 52277
/proc/meminfo: memFree=128999132/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=206860 memory=203064 CPUtime=0.67 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 35540 0 0 0 61 6 0 0 20 0 1 0 54676246 211824640 50766 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 51715 50766 608 696 0 50876 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 211052 KiB
Current children cumulated memory: 206008 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 52277
/proc/meminfo: memFree=128857556/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=378572 memory=366004 CPUtime=1.47 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 51923 0 0 0 135 12 0 0 20 0 1 0 54676246 387657728 91501 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 94643 91501 608 696 0 93804 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 382764 KiB
Current children cumulated memory: 368948 KiB

[startup+3.10582 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 52277
/proc/meminfo: memFree=128707004/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=445676 memory=393060 CPUtime=3.07 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 53622 0 0 0 294 13 0 0 20 0 1 0 54676246 456372224 98265 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 111419 98265 608 696 0 110580 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 449868 KiB
Current children cumulated memory: 396004 KiB

[startup+6.30021 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 52277
/proc/meminfo: memFree=128591768/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=495056 memory=479440 CPUtime=6.26 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 59410 0 0 0 605 21 0 0 20 0 1 0 54676246 506937344 119860 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 123764 119860 640 696 0 122925 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 499248 KiB
Current children cumulated memory: 482384 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 52277
/proc/meminfo: memFree=128580160/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=539336 memory=525484 CPUtime=12.64 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 62058 0 0 0 1239 25 0 0 20 0 1 0 54676246 552280064 131371 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 134834 131371 640 696 0 133995 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 543528 KiB
Current children cumulated memory: 528428 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 52278
/proc/meminfo: memFree=128672388/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=442508 memory=432008 CPUtime=25.4 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 67325 0 0 0 2508 32 0 0 20 0 1 0 54676246 453128192 108002 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 110627 108002 640 696 0 109788 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 446700 KiB
Current children cumulated memory: 434952 KiB

[startup+51.1059 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 52278
/proc/meminfo: memFree=128668768/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=442912 memory=432288 CPUtime=50.92 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 70031 0 0 0 5056 36 0 0 20 0 1 0 54676246 453541888 108072 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 110728 108072 640 696 0 109889 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 447104 KiB
Current children cumulated memory: 435232 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 52284
/proc/meminfo: memFree=128700804/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=443988 memory=433836 CPUtime=101.96 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 74774 0 0 0 10152 44 0 0 20 0 1 0 54676246 454643712 108459 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 110997 108459 640 696 0 110158 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 448180 KiB
Current children cumulated memory: 436780 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 52286
/proc/meminfo: memFree=128684704/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=461532 memory=453300 CPUtime=161.78 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 79266 0 0 0 16128 50 0 0 20 0 1 0 54676246 472608768 113325 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 115383 113325 640 696 0 114544 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 465724 KiB
Current children cumulated memory: 456244 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 52288
/proc/meminfo: memFree=128662088/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=461912 memory=453680 CPUtime=221.61 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 82445 0 0 0 22106 55 0 0 20 0 1 0 54676246 472997888 113420 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 115478 113420 640 696 0 114639 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 466104 KiB

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

/proc/loadavg: 4.13 4.15 4.11 5/267 52569
/proc/meminfo: memFree=128178600/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=592428 memory=544892 CPUtime=3092.64 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 142706 0 0 0 309086 178 0 0 20 0 1 0 54676246 606646272 136223 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 148107 136223 640 696 0 147268 0
Current children cumulated CPU time: 3092.64 s
Current children cumulated vsize: 596620 KiB
Current children cumulated memory: 547836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/268 52621
/proc/meminfo: memFree=124296568/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=594092 memory=546556 CPUtime=3152.45 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 143283 0 0 0 315066 179 0 0 20 0 1 0 54676246 608350208 136639 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 148523 136639 640 696 0 147684 0
Current children cumulated CPU time: 3152.45 s
Current children cumulated vsize: 598284 KiB
Current children cumulated memory: 549500 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/268 52627
/proc/meminfo: memFree=108488224/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=592980 memory=545444 CPUtime=3212.26 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 143742 0 0 0 321046 180 0 0 20 0 1 0 54676246 607211520 136361 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 148245 136361 640 696 0 147406 0
Current children cumulated CPU time: 3212.26 s
Current children cumulated vsize: 597172 KiB
Current children cumulated memory: 548388 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/268 52685
/proc/meminfo: memFree=124204076/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=592360 memory=544824 CPUtime=3272.07 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 144397 0 0 0 327025 182 0 0 20 0 1 0 54676246 606576640 136206 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 148090 136206 640 696 0 147251 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 596552 KiB
Current children cumulated memory: 547768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/268 52687
/proc/meminfo: memFree=121520152/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=591824 memory=544288 CPUtime=3331.88 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 145290 0 0 0 333004 184 0 0 20 0 1 0 54676246 606027776 136072 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 147956 136072 640 696 0 147117 0
Current children cumulated CPU time: 3331.88 s
Current children cumulated vsize: 596016 KiB
Current children cumulated memory: 547232 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 52689
/proc/meminfo: memFree=118635588/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=591848 memory=544312 CPUtime=3391.7 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 145919 0 0 0 338984 186 0 0 20 0 1 0 54676246 606052352 136078 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 147962 136078 640 696 0 147123 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 596040 KiB
Current children cumulated memory: 547256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 52691
/proc/meminfo: memFree=115946096/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=593284 memory=545748 CPUtime=3451.51 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 146353 0 0 0 344964 187 0 0 20 0 1 0 54676246 607522816 136437 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 148321 136437 640 696 0 147482 0
Current children cumulated CPU time: 3451.51 s
Current children cumulated vsize: 597476 KiB
Current children cumulated memory: 548692 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 52694
/proc/meminfo: memFree=109808292/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=592384 memory=544848 CPUtime=3511.32 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 147112 0 0 0 350944 188 0 0 20 0 1 0 54676246 606601216 136212 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 148096 136212 640 696 0 147257 0
Current children cumulated CPU time: 3511.32 s
Current children cumulated vsize: 596576 KiB
Current children cumulated memory: 547792 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 52696
/proc/meminfo: memFree=110676360/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=591336 memory=543800 CPUtime=3571.13 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 147568 0 0 0 356924 189 0 0 20 0 1 0 54676246 605528064 135950 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 147834 135950 640 696 0 146995 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 595528 KiB
Current children cumulated memory: 546744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 52745
/proc/meminfo: memFree=110765044/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=592624 memory=545088 CPUtime=3600.05 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 147867 0 0 0 359814 191 0 0 20 0 1 0 54676246 606846976 136272 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 148156 136272 640 696 0 147317 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 596816 KiB
Current children cumulated memory: 548032 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.15 s, system=1.91561 s

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

[startup+3611.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 52745
/proc/meminfo: memFree=110765044/131250000 swapFree=33010416/33010684
[pid=52273] ppid=52270 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52273/stat : 52273 (naps-1.03a6.sh) S 52270 52273 51532 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 54676245 4292608 736 18446744073709551615 94414013575168 94414014469701 140724884586384 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94414014708752 94414014756496 94414039719936 140724884588967 140724884589061 140724884589061 140724884594663 0
/proc/52273/statm: 1048 736 672 219 0 110 0
[pid=52277] ppid=52273 vsize=592624 memory=545088 CPUtime=3600.05 cores=0,2
/proc/52277/stat : 52277 (naps-1.03a6) R 52273 52273 51532 0 -1 4194304 147867 0 0 0 359814 191 0 0 20 0 1 0 54676246 606846976 136272 18446744073709551615 4198400 7047149 140733630124592 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 25808896 140733630130548 140733630130662 140733630130662 140733630136265 0
/proc/52277/statm: 148156 136272 640 696 0 147317 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 596816 KiB
Current children cumulated memory: 548032 KiB

Child status: 10

Real time (s): 3611.3
CPU time (s): 3600.06
CPU user time (s): 3598.15
CPU system time (s): 1.91561
CPU usage (%): 99.6887
Max. virtual memory (cumulated for all children) (KiB): 673028
Max. memory (cumulated for all children) (KiB): 624188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.15
system time used= 1.91561
maximum resident set size= 621244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148313
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= 198
involuntary context switches= 7833


# summary of solver processes directly reported to runsolver:
#   pid: 52273
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.15
#   total CPU system time (s): 1.91561

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.30902 second user time and 16.4813 second system time

The end