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: 63794 MiB (43573 MiB free)
  memory of node 1: 64507 MiB (59662 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526555-1751630442/watcher-4526555-1751630442 -o /tmp/evaluation-result-4526555-1751630442/solver-4526555-1751630442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751630104-93962 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4526555-1751630442.wbo 

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=95380, runsolver pid=95377

[startup+0.1001 s]*
/proc/loadavg: 4.09 3.39 3.30 5/256 95384
/proc/meminfo: memFree=105713548/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=7168 memory=5588 CPUtime=0.09 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 983 0 0 0 9 0 0 0 20 0 1 0 78723916 7340032 1397 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 1792 1397 544 696 0 953 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 11360 KiB
Current children cumulated memory: 8660 KiB

[startup+0.213368 s]*
/proc/loadavg: 4.09 3.39 3.30 5/256 95384
/proc/meminfo: memFree=105713296/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=10860 memory=8964 CPUtime=0.2 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 1942 0 0 0 20 0 0 0 20 0 1 0 78723916 11120640 2241 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 2715 2241 544 696 0 1876 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 15052 KiB
Current children cumulated memory: 12036 KiB

[startup+0.313208 s]*
/proc/loadavg: 4.09 3.39 3.30 5/256 95384
/proc/meminfo: memFree=105713296/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=15984 memory=13704 CPUtime=0.29 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 3319 0 0 0 29 0 0 0 20 0 1 0 78723916 16367616 3426 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 3996 3426 544 696 0 3157 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20176 KiB
Current children cumulated memory: 16776 KiB

[startup+0.700386 s]
/proc/loadavg: 4.09 3.39 3.30 5/256 95384
/proc/meminfo: memFree=105712792/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=38544 memory=36104 CPUtime=0.67 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 8921 0 0 0 65 2 0 0 20 0 1 0 78723916 39469056 9026 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 9636 9026 544 696 0 8797 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42736 KiB
Current children cumulated memory: 39176 KiB

[startup+1.50042 s]
/proc/loadavg: 4.09 3.39 3.30 5/256 95384
/proc/meminfo: memFree=105701316/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=262116 memory=252128 CPUtime=1.46 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 28321 0 0 0 136 10 0 0 20 0 1 0 78723916 268406784 63032 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 65529 63032 576 696 0 64690 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 266308 KiB
Current children cumulated memory: 255200 KiB

[startup+3.1129 s]
/proc/loadavg: 4.09 3.39 3.30 5/256 95384
/proc/meminfo: memFree=105372828/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=829688 memory=797692 CPUtime=3.07 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 85273 0 0 0 280 27 0 0 20 0 1 0 78723916 849600512 199423 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 207422 199423 576 696 0 206583 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 833880 KiB
Current children cumulated memory: 800764 KiB

[startup+6.30043 s]
/proc/loadavg: 4.08 3.40 3.31 5/256 95384
/proc/meminfo: memFree=104625132/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=1419732 memory=1361784 CPUtime=6.25 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 131906 0 0 0 580 45 0 0 20 0 1 0 78723916 1453805568 340446 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 354933 340446 608 696 0 354094 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1423924 KiB
Current children cumulated memory: 1364856 KiB

[startup+12.7004 s]
/proc/loadavg: 4.07 3.41 3.31 5/256 95384
/proc/meminfo: memFree=104554576/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=1457532 memory=1368624 CPUtime=12.64 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 134304 0 0 0 1217 47 0 0 20 0 1 0 78723916 1492512768 342156 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 364383 342156 608 696 0 363544 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1461724 KiB
Current children cumulated memory: 1371696 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 3.46 3.33 5/256 95395
/proc/meminfo: memFree=105270500/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=1457532 memory=1368624 CPUtime=25.41 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 134502 0 0 0 2494 47 0 0 20 0 1 0 78723916 1492512768 342156 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 364383 342156 608 696 0 363544 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1461724 KiB
Current children cumulated memory: 1371696 KiB

[startup+51.1132 s]
/proc/loadavg: 4.14 3.52 3.35 5/256 95396
/proc/meminfo: memFree=102037736/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=1921812 memory=1774252 CPUtime=50.95 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 149193 0 0 0 5003 92 0 0 20 0 1 0 78723916 1967935488 443563 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 480453 443563 640 696 0 479614 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1926004 KiB
Current children cumulated memory: 1777324 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 3.61 3.39 5/258 95401
/proc/meminfo: memFree=102751724/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=1642224 memory=1520412 CPUtime=102 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 169182 0 0 0 10064 136 0 0 20 0 1 0 78723916 1681637376 380103 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 410556 380103 640 696 0 409717 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1646416 KiB
Current children cumulated memory: 1523484 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 3.70 3.44 5/258 95403
/proc/meminfo: memFree=103395320/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=1647228 memory=1531492 CPUtime=161.82 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 173821 0 0 0 16031 151 0 0 20 0 1 0 78723916 1686761472 382873 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 411807 382873 640 696 0 410968 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1651420 KiB
Current children cumulated memory: 1534564 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.79 3.49 5/257 95410
/proc/meminfo: memFree=103366176/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=1518248 memory=1402616 CPUtime=221.64 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 178047 0 0 0 22003 161 0 0 20 0 1 0 78723916 1554685952 350654 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 379562 350654 640 696 0 378723 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1522440 KiB

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

/proc/95384/statm: 541095 521972 640 696 0 540256 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 2168572 KiB
Current children cumulated memory: 2090960 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/254 95641
/proc/meminfo: memFree=107695320/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2261848 memory=2150812 CPUtime=3093.44 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 321379 0 0 0 308780 564 0 0 20 0 1 0 78723916 2316132352 537703 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 565462 537703 640 696 0 564623 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 2266040 KiB
Current children cumulated memory: 2153884 KiB

[startup+3162.3 s]
/proc/loadavg: 4.48 4.19 4.09 5/254 95643
/proc/meminfo: memFree=107618880/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2261848 memory=2150812 CPUtime=3153.27 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 321900 0 0 0 314763 564 0 0 20 0 1 0 78723916 2316132352 537703 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 565462 537703 640 696 0 564623 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 2266040 KiB
Current children cumulated memory: 2153884 KiB

[startup+3222.3 s]
/proc/loadavg: 4.58 4.29 4.13 5/254 95645
/proc/meminfo: memFree=107613544/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2261848 memory=2150812 CPUtime=3213.11 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 322431 0 0 0 320747 564 0 0 20 0 1 0 78723916 2316132352 537703 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 565462 537703 640 696 0 564623 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 2266040 KiB
Current children cumulated memory: 2153884 KiB

[startup+3282.3 s]
/proc/loadavg: 4.37 4.26 4.13 5/255 95748
/proc/meminfo: memFree=118954156/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2185736 memory=2074700 CPUtime=3272.93 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 323934 0 0 0 326721 572 0 0 20 0 1 0 78723916 2238193664 518675 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 546434 518675 640 696 0 545595 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 2189928 KiB
Current children cumulated memory: 2077772 KiB

[startup+3342.3 s]
/proc/loadavg: 4.73 4.40 4.18 5/255 95749
/proc/meminfo: memFree=107018804/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2185736 memory=2074700 CPUtime=3332.75 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 324399 0 0 0 332703 572 0 0 20 0 1 0 78723916 2238193664 518675 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 546434 518675 640 696 0 545595 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 2189928 KiB
Current children cumulated memory: 2077772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.37 4.35 4.18 5/254 95753
/proc/meminfo: memFree=101703828/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2163664 memory=2052756 CPUtime=3392.56 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 325868 0 0 0 338677 579 0 0 20 0 1 0 78723916 2215591936 513189 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 540916 513189 640 696 0 540077 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 2167856 KiB
Current children cumulated memory: 2055828 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.30 4.17 5/254 95755
/proc/meminfo: memFree=101158364/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2163756 memory=2051240 CPUtime=3452.38 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 326832 0 0 0 344657 581 0 0 20 0 1 0 78723916 2215686144 512810 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 540939 512810 640 696 0 540100 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 2167948 KiB
Current children cumulated memory: 2054312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.26 4.17 5/254 95757
/proc/meminfo: memFree=97402808/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2471592 memory=2359048 CPUtime=3512.19 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 327465 0 0 0 350632 587 0 0 20 0 1 0 78723916 2530910208 589762 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 617898 589762 640 696 0 617059 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 2475784 KiB
Current children cumulated memory: 2362120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.23 4.16 5/255 95760
/proc/meminfo: memFree=97715148/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2183380 memory=2070864 CPUtime=3572 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 328155 0 0 0 356613 587 0 0 20 0 1 0 78723916 2235781120 517716 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 545845 517716 640 696 0 545006 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 2187572 KiB
Current children cumulated memory: 2073936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.14 4.22 4.16 5/255 95761
/proc/meminfo: memFree=97338992/131382116 swapFree=33010684/33010684
[pid=95380] ppid=95377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/95380/stat : 95380 (naps-1.03a6.sh) S 95377 95380 93950 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78723914 4292608 768 18446744073709551615 94240764514304 94240765408837 140723051296784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94240765647888 94240765695632 94240781795328 140723051301285 140723051301379 140723051301379 140723051306983 0
/proc/95380/statm: 1048 768 704 219 0 110 0
[pid=95384] ppid=95380 vsize=2183380 memory=2070864 CPUtime=3600.02 cores=1,3
/proc/95384/stat : 95384 (naps-1.03a6) R 95380 95380 93950 0 -1 4194304 328365 0 0 0 359415 587 0 0 20 0 1 0 78723916 2235781120 517716 18446744073709551615 4198400 7047149 140721492322192 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 11763712 140721492326770 140721492326884 140721492326884 140721492332489 0
/proc/95384/statm: 545845 517716 640 696 0 545006 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2187572 KiB
Current children cumulated memory: 2073936 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.005161 s, system=0.004 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3594.16 s, system=5.88897 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): 3610.41
CPU time (s): 3600.05
CPU user time (s): 3594.16
CPU system time (s): 5.88897
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 2529544
Max. memory (cumulated for all children) (KiB): 2430608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.16
system time used= 5.88897
maximum resident set size= 2427536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328804
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= 297
involuntary context switches= 1526


# summary of solver processes directly reported to runsolver:
#   pid: 95380,95384
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3594.16
#   total CPU system time (s): 5.88897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7663 second user time and 34.6928 second system time

The end