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: 64059 MiB (61712 MiB free)
  memory of node 1: 64510 MiB (63626 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427068-1720905737/watcher-4427068-1720905737 -o /tmp/evaluation-result-4427068-1720905737/solver-4427068-1720905737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1720905418-715661 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427068-1720905737.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=716254, runsolver pid=716251

[startup+0.100784 s]*
/proc/loadavg: 4.29 3.85 3.40 5/250 716259
/proc/meminfo: memFree=128343552/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=9112 memory=3948 CPUtime=0.1 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 730 0 0 0 10 0 0 0 20 0 1 0 142733296 9330688 987 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 2278 987 421 379 0 1812 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19044 KiB
Current children cumulated memory: 6664 KiB

[startup+0.213324 s]*
/proc/loadavg: 4.29 3.85 3.40 5/250 716259
/proc/meminfo: memFree=128334616/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=14272 memory=12668 CPUtime=0.2 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 2715 0 0 0 20 0 0 0 20 0 1 0 142733296 14614528 3167 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 3568 3167 421 379 0 3102 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24204 KiB
Current children cumulated memory: 15384 KiB

[startup+0.31348 s]*
/proc/loadavg: 4.29 3.85 3.40 5/250 716259
/proc/meminfo: memFree=128334140/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=21348 memory=19400 CPUtime=0.31 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 3352 0 0 0 30 1 0 0 20 0 1 0 142733296 21860352 4850 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 5337 4850 421 379 0 4871 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 22116 KiB

[startup+0.700409 s]
/proc/loadavg: 4.29 3.85 3.40 5/250 716259
/proc/meminfo: memFree=128324300/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=21484 memory=19080 CPUtime=0.68 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 4122 0 0 0 67 1 0 0 20 0 1 0 142733296 21999616 4770 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 5371 4770 421 379 0 4905 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 21796 KiB

[startup+1.50041 s]
/proc/loadavg: 4.29 3.85 3.40 5/250 716259
/proc/meminfo: memFree=128322016/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=32976 memory=32200 CPUtime=1.48 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 4956 0 0 0 146 2 0 0 20 0 1 0 142733296 33767424 8050 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 8244 8050 421 379 0 7778 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42908 KiB
Current children cumulated memory: 34916 KiB

[startup+3.11298 s]
/proc/loadavg: 4.27 3.86 3.40 5/250 716259
/proc/meminfo: memFree=128330624/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=63436 memory=45568 CPUtime=3.09 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 5546 0 0 0 306 3 0 0 20 0 1 0 142733296 64958464 11392 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 15859 11392 421 379 0 15393 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73368 KiB
Current children cumulated memory: 48284 KiB

[startup+6.3004 s]
/proc/loadavg: 4.27 3.86 3.40 5/250 716259
/proc/meminfo: memFree=128280968/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=63436 memory=45568 CPUtime=6.27 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 5871 0 0 0 623 4 0 0 20 0 1 0 142733296 64958464 11392 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 15859 11392 421 379 0 15393 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73368 KiB
Current children cumulated memory: 48284 KiB

[startup+12.7004 s]
/proc/loadavg: 4.25 3.86 3.41 5/250 716260
/proc/meminfo: memFree=128269948/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=63864 memory=45836 CPUtime=12.65 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 7458 0 0 0 1260 5 0 0 20 0 1 0 142733296 65396736 11459 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 15966 11459 421 379 0 15500 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73796 KiB
Current children cumulated memory: 48552 KiB

[startup+25.5004 s]
/proc/loadavg: 4.19 3.87 3.42 5/250 716262
/proc/meminfo: memFree=128254736/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=83432 memory=80856 CPUtime=25.42 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 8984 0 0 0 2535 7 0 0 20 0 1 0 142733296 85434368 20214 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 20858 20214 421 379 0 20392 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 93364 KiB
Current children cumulated memory: 83572 KiB

[startup+51.1133 s]
/proc/loadavg: 4.20 3.89 3.44 5/249 716266
/proc/meminfo: memFree=128225688/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=95712 memory=94492 CPUtime=50.97 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 10505 0 0 0 5085 12 0 0 20 0 1 0 142733296 98009088 23623 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 23928 23623 421 379 0 23462 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 105644 KiB
Current children cumulated memory: 97208 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 3.94 3.48 5/251 716280
/proc/meminfo: memFree=128175312/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=145032 memory=129780 CPUtime=102.02 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 12332 0 0 0 10175 27 0 0 20 0 1 0 142733296 148512768 32445 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 36258 32445 421 379 0 35792 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 154964 KiB
Current children cumulated memory: 132496 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.95 3.52 5/251 716290
/proc/meminfo: memFree=128140732/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=145032 memory=142084 CPUtime=161.86 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 18083 0 0 0 16146 40 0 0 20 0 1 0 142733296 148512768 35521 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 36258 35521 421 379 0 35792 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 154964 KiB
Current children cumulated memory: 144800 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.01 3.57 5/248 716684
/proc/meminfo: memFree=128184960/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=164036 memory=128072 CPUtime=221.71 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 24822 0 0 0 22116 55 0 0 20 0 1 0 142733296 167972864 32018 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 41009 32018 421 379 0 40543 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 173968 KiB

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

/proc/loadavg: 4.10 4.20 4.15 5/249 718515
/proc/meminfo: memFree=127764316/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=308644 memory=296368 CPUtime=3033.94 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 245158 0 0 0 302958 436 0 0 20 0 1 0 142733296 316051456 74092 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 77161 74092 421 379 0 76695 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 318576 KiB
Current children cumulated memory: 299084 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.21 4.15 5/248 718527
/proc/meminfo: memFree=127867220/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=260128 memory=251584 CPUtime=3093.75 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 248776 0 0 0 308933 442 0 0 20 0 1 0 142733296 266371072 62896 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 65032 62896 421 379 0 64566 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 254300 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/248 718537
/proc/meminfo: memFree=127709532/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=311404 memory=300988 CPUtime=3153.56 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 252062 0 0 0 314909 447 0 0 20 0 1 0 142733296 318877696 75247 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 77851 75247 421 379 0 77385 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 321336 KiB
Current children cumulated memory: 303704 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/246 718548
/proc/meminfo: memFree=127749320/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=262844 memory=240796 CPUtime=3213.37 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 255931 0 0 0 320883 454 0 0 20 0 1 0 142733296 269152256 60199 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 65711 60199 421 379 0 65245 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 272776 KiB
Current children cumulated memory: 243512 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/246 718558
/proc/meminfo: memFree=127766848/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=314116 memory=295064 CPUtime=3273.19 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 258825 0 0 0 326859 460 0 0 20 0 1 0 142733296 321654784 73766 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 78529 73766 421 379 0 78063 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 324048 KiB
Current children cumulated memory: 297780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/246 719168
/proc/meminfo: memFree=127180080/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=265604 memory=248180 CPUtime=3332.99 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 262452 0 0 0 332833 466 0 0 20 0 1 0 142733296 271978496 62045 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 66401 62045 421 379 0 65935 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 275536 KiB
Current children cumulated memory: 250896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.14 5/245 719179
/proc/meminfo: memFree=127188004/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=316688 memory=295436 CPUtime=3392.8 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 265662 0 0 0 338810 470 0 0 20 0 1 0 142733296 324288512 73859 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 79172 73859 421 379 0 78706 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 326620 KiB
Current children cumulated memory: 298152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/245 719239
/proc/meminfo: memFree=127140476/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=399356 memory=329068 CPUtime=3452.61 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 268598 0 0 0 344785 476 0 0 20 0 1 0 142733296 408940544 82267 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 99839 82267 421 379 0 99373 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 409288 KiB
Current children cumulated memory: 331784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/247 719502
/proc/meminfo: memFree=127048568/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=318556 memory=281200 CPUtime=3512.4 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 272335 0 0 0 350759 481 0 0 20 0 1 0 142733296 326201344 70300 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 79639 70300 421 379 0 79173 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 328488 KiB
Current children cumulated memory: 283916 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.15 5/247 719512
/proc/meminfo: memFree=127004808/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=401012 memory=323052 CPUtime=3572.24 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 275252 0 0 0 356738 486 0 0 20 0 1 0 142733296 410636288 80763 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 100253 80763 421 379 0 99787 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 410944 KiB
Current children cumulated memory: 325768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.13 4.16 4.15 5/248 719520
/proc/meminfo: memFree=127007868/131655788 swapFree=131071996/131071996
[pid=716254] ppid=716251 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/716254/stat : 716254 (naps-1.02b5.sh) S 716251 716254 713411 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142733295 10170368 679 134679101440 94375527837696 94375528917016 140727961036720 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94375531015472 94375531062660 94375540654080 140727961043884 140727961044011 140727961044011 140727961051078 0
/proc/716254/statm: 2483 679 601 264 0 134 0
[pid=716259] ppid=716254 vsize=319916 memory=286504 CPUtime=3600.06 cores=5,7
/proc/716259/stat : 716259 (naps-1.02b5) R 716254 716254 713411 0 -1 4194304 276924 0 0 0 359517 489 0 0 20 0 1 0 142733296 327593984 71626 134679101440 4194304 5746509 140730983606080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 36069376 140730983609275 140730983609389 140730983609389 140730983616457 0
/proc/716259/statm: 79979 71626 421 379 0 79513 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 329848 KiB
Current children cumulated memory: 289220 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3595.18 s, system=4.90136 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): 3610.2
CPU time (s): 3600.08
CPU user time (s): 3595.18
CPU system time (s): 4.90136
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 459196
Max. memory (cumulated for all children) (KiB): 367360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.18
system time used= 4.90137
maximum resident set size= 383144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277398
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= 56
involuntary context switches= 4757


# summary of solver processes directly reported to runsolver:
#   pid: 716254
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3595.18
#   total CPU system time (s): 4.90136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5899 second user time and 38.3479 second system time

The end