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

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

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


[startup+0.100064 s]*
/proc/loadavg: 4.14 4.28 4.20 5/254 44447
/proc/meminfo: memFree=89405520/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=6004 memory=4480 CPUtime=0.07 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 624 0 0 0 7 0 0 0 20 0 1 0 46748210 6148096 1120 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 1501 1120 576 696 0 662 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10196 KiB
Current children cumulated memory: 7552 KiB

[startup+0.21286 s]*
/proc/loadavg: 4.14 4.28 4.20 6/254 44447
/proc/meminfo: memFree=89401424/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=6152 memory=4480 CPUtime=0.17 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 640 0 0 0 17 0 0 0 20 0 1 0 46748210 6299648 1120 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 1538 1120 576 696 0 699 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10344 KiB
Current children cumulated memory: 7552 KiB

[startup+0.312409 s]*
/proc/loadavg: 4.14 4.28 4.20 5/254 44447
/proc/meminfo: memFree=89401424/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=6152 memory=4608 CPUtime=0.26 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 647 0 0 0 26 0 0 0 20 0 1 0 46748210 6299648 1152 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 1538 1152 576 696 0 699 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10344 KiB
Current children cumulated memory: 7680 KiB

[startup+0.700228 s]
/proc/loadavg: 4.14 4.28 4.20 5/254 44447
/proc/meminfo: memFree=89401424/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=12328 memory=10752 CPUtime=0.62 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 2249 0 0 0 61 1 0 0 20 0 1 0 46748210 12623872 2688 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 3082 2688 576 696 0 2243 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 16520 KiB
Current children cumulated memory: 13824 KiB

[startup+1.50032 s]
/proc/loadavg: 4.14 4.28 4.20 5/254 44447
/proc/meminfo: memFree=89401424/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=13888 memory=12288 CPUtime=1.41 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 2637 0 0 0 140 1 0 0 20 0 1 0 46748210 14221312 3072 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 3472 3072 576 696 0 2633 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 18080 KiB
Current children cumulated memory: 15360 KiB

[startup+3.11287 s]
/proc/loadavg: 4.13 4.28 4.20 5/254 44447
/proc/meminfo: memFree=89364720/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=40784 memory=38788 CPUtime=3.03 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 9323 0 0 0 300 3 0 0 20 0 1 0 46748210 41762816 9697 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 10196 9697 576 696 0 9357 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 44976 KiB
Current children cumulated memory: 41860 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.28 4.20 5/254 44447
/proc/meminfo: memFree=89286644/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=51732 memory=49600 CPUtime=6.2 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 11443 0 0 0 617 3 0 0 20 0 1 0 46748210 52973568 12400 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 12933 12400 576 696 0 12094 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 52672 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.27 4.20 5/254 44447
/proc/meminfo: memFree=89086004/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=96520 memory=93804 CPUtime=12.6 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 20012 0 0 0 1254 6 0 0 20 0 1 0 46748210 98836480 23451 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 24130 23451 576 696 0 23291 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 100712 KiB
Current children cumulated memory: 96876 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.26 4.20 5/254 44447
/proc/meminfo: memFree=88900316/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=124224 memory=122400 CPUtime=25.37 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 21201 0 0 0 2530 7 0 0 20 0 1 0 46748210 127205376 30600 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 31056 30600 576 696 0 30217 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 128416 KiB
Current children cumulated memory: 125472 KiB

[startup+51.1124 s]
/proc/loadavg: 4.12 4.25 4.19 5/254 44448
/proc/meminfo: memFree=86862968/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=1100668 memory=1064036 CPUtime=50.92 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 101739 0 0 0 5056 36 0 0 20 0 1 0 46748210 1127084032 266009 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 275167 266009 608 696 0 274328 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1104860 KiB
Current children cumulated memory: 1067108 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.22 4.18 5/254 44449
/proc/meminfo: memFree=89739180/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=1524380 memory=1502244 CPUtime=101.96 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 149499 0 0 0 10078 118 0 0 20 0 1 0 46748210 1560965120 375561 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 381095 375561 640 696 0 380256 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1528572 KiB
Current children cumulated memory: 1505316 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/255 44452
/proc/meminfo: memFree=88484484/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=1734108 memory=1705780 CPUtime=161.79 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 170340 0 0 0 15993 186 0 0 20 0 1 0 46748210 1775726592 426445 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 433527 426445 640 696 0 432688 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1738300 KiB
Current children cumulated memory: 1708852 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/255 44454
/proc/meminfo: memFree=86022448/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=2088604 memory=1969052 CPUtime=221.62 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 197144 0 0 0 21913 249 0 0 20 0 1 0 46748210 2138730496 492263 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 522151 492263 640 696 0 521312 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2092796 KiB

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

/proc/44447/statm: 903506 801379 640 696 0 902667 0
Current children cumulated CPU time: 3031.5 s
Current children cumulated vsize: 3618216 KiB
Current children cumulated memory: 3208588 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/254 44903
/proc/meminfo: memFree=118669844/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3614024 memory=3205516 CPUtime=3091.31 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 574921 0 0 0 307513 1618 0 0 20 0 1 0 46748210 3700760576 801379 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 903506 801379 640 696 0 902667 0
Current children cumulated CPU time: 3091.31 s
Current children cumulated vsize: 3618216 KiB
Current children cumulated memory: 3208588 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/254 44905
/proc/meminfo: memFree=118489080/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3609824 memory=3201420 CPUtime=3151.12 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 575812 0 0 0 313488 1624 0 0 20 0 1 0 46748210 3696459776 800355 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 902456 800355 640 696 0 901617 0
Current children cumulated CPU time: 3151.12 s
Current children cumulated vsize: 3614016 KiB
Current children cumulated memory: 3204492 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/253 44907
/proc/meminfo: memFree=119099860/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3609924 memory=3201416 CPUtime=3210.94 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 583212 0 0 0 319437 1657 0 0 20 0 1 0 46748210 3696562176 800354 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 902481 800354 640 696 0 901642 0
Current children cumulated CPU time: 3210.94 s
Current children cumulated vsize: 3614116 KiB
Current children cumulated memory: 3204488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/253 44909
/proc/meminfo: memFree=119056092/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3609924 memory=3201520 CPUtime=3270.74 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 584211 0 0 0 325414 1660 0 0 20 0 1 0 46748210 3696562176 800380 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 902481 800380 640 696 0 901642 0
Current children cumulated CPU time: 3270.74 s
Current children cumulated vsize: 3614116 KiB
Current children cumulated memory: 3204592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/253 44911
/proc/meminfo: memFree=119028592/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3610768 memory=3202364 CPUtime=3330.56 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 585422 0 0 0 331390 1666 0 0 20 0 1 0 46748210 3697426432 800591 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 902692 800591 640 696 0 901853 0
Current children cumulated CPU time: 3330.56 s
Current children cumulated vsize: 3614960 KiB
Current children cumulated memory: 3205436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/253 44913
/proc/meminfo: memFree=119013620/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3610768 memory=3202260 CPUtime=3390.38 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 590050 0 0 0 337354 1684 0 0 20 0 1 0 46748210 3697426432 800565 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 902692 800565 640 696 0 901853 0
Current children cumulated CPU time: 3390.38 s
Current children cumulated vsize: 3614960 KiB
Current children cumulated memory: 3205332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/254 44918
/proc/meminfo: memFree=119108564/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3613936 memory=3205428 CPUtime=3450.21 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 592905 0 0 0 343324 1697 0 0 20 0 1 0 46748210 3700670464 801357 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 903484 801357 640 696 0 902645 0
Current children cumulated CPU time: 3450.21 s
Current children cumulated vsize: 3618128 KiB
Current children cumulated memory: 3208500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/254 44924
/proc/meminfo: memFree=117235616/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3613732 memory=3205328 CPUtime=3510.03 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 595435 0 0 0 349291 1712 0 0 20 0 1 0 46748210 3700461568 801332 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 903433 801332 640 696 0 902594 0
Current children cumulated CPU time: 3510.03 s
Current children cumulated vsize: 3617924 KiB
Current children cumulated memory: 3208400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/254 44927
/proc/meminfo: memFree=118180356/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3613732 memory=3205224 CPUtime=3569.86 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 599488 0 0 0 355258 1728 0 0 20 0 1 0 46748210 3700461568 801306 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 903433 801306 640 696 0 902594 0
Current children cumulated CPU time: 3569.86 s
Current children cumulated vsize: 3617924 KiB
Current children cumulated memory: 3208296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.17 4.13 4.15 5/254 44927
/proc/meminfo: memFree=118201720/131382112 swapFree=33010684/33010684
[pid=44443] ppid=44440 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44443/stat : 44443 (naps-1.03a6.sh) S 44440 44443 43422 0 -1 4194304 229 202 0 0 0 0 0 0 20 0 1 0 46748208 4292608 768 18446744073709551615 93949717000192 93949717894725 140723205748528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93949718133776 93949718181520 93949741387776 140723205753255 140723205753349 140723205753349 140723205758951 0
/proc/44443/statm: 1048 768 704 219 0 110 0
[pid=44447] ppid=44443 vsize=3613732 memory=3205224 CPUtime=3600.07 cores=4,6
/proc/44447/stat : 44447 (naps-1.03a6) R 44443 44443 43422 0 -1 4194304 600153 0 0 0 358277 1730 0 0 20 0 1 0 46748210 3700461568 801306 18446744073709551615 4198400 7047149 140736632397088 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 22102016 140736632404340 140736632404454 140736632404454 140736632410057 0
/proc/44447/statm: 903433 801306 640 696 0 902594 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3617924 KiB
Current children cumulated memory: 3208296 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.61 s]
# the end of solver process 44443 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001831 s, system=0.007491 s

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

# cumulated CPU time of all completed processes:  user=3582.78 s, system=17.3286 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3612.61
CPU time (s): 3600.11
CPU user time (s): 3582.78
CPU system time (s): 17.3286
CPU usage (%): 99.6539
Max. virtual memory (cumulated for all children) (KiB): 4349184
Max. memory (cumulated for all children) (KiB): 3779116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.78
system time used= 17.3286
maximum resident set size= 3776044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600585
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= 334
involuntary context switches= 19737


# summary of solver processes directly reported to runsolver:
#   pid: 44443,44447
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3582.78
#   total CPU system time (s): 17.3286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.47 second user time and 37.7569 second system time

The end