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: 64096 MiB (61887 MiB free)
  memory of node 1: 64473 MiB (61228 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458186-1721880141/watcher-4458186-1721880141 -o /tmp/evaluation-result-4458186-1721880141/solver-4458186-1721880141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221818 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4458186-1721880141.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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
solver pid=223779, runsolver pid=223776
Current StackSize limit: 8192 KiB


[startup+0.100329 s]*
/proc/loadavg: 4.14 4.49 4.34 5/248 223784
/proc/meminfo: memFree=126067324/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=6448 memory=5140 CPUtime=0.08 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 784 0 0 0 8 0 0 0 20 0 1 0 24002959 6602752 1285 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 1612 1285 580 659 0 816 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 16380 KiB
Current children cumulated memory: 7904 KiB

[startup+0.214327 s]*
/proc/loadavg: 4.14 4.49 4.34 4/242 223792
/proc/meminfo: memFree=126245496/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=8008 memory=6688 CPUtime=0.19 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 1243 0 0 0 19 0 0 0 20 0 1 0 24002959 8200192 1672 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 2002 1672 596 659 0 1206 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 17940 KiB
Current children cumulated memory: 9452 KiB

[startup+0.313311 s]*
/proc/loadavg: 4.14 4.49 4.34 5/242 223792
/proc/meminfo: memFree=126239596/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=12784 memory=11416 CPUtime=0.29 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 2672 0 0 0 28 1 0 0 20 0 1 0 24002959 13090816 2854 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 3196 2854 612 659 0 2400 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22716 KiB
Current children cumulated memory: 14180 KiB

[startup+0.700427 s]
/proc/loadavg: 4.14 4.49 4.34 6/241 223811
/proc/meminfo: memFree=126351920/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=14780 memory=13384 CPUtime=0.66 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 3108 0 0 0 65 1 0 0 20 0 1 0 24002959 15134720 3346 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 3695 3346 644 659 0 2899 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 24712 KiB
Current children cumulated memory: 16148 KiB

[startup+1.50045 s]
/proc/loadavg: 4.14 4.49 4.34 5/248 223884
/proc/meminfo: memFree=126331000/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=15476 memory=14036 CPUtime=1.45 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 5576 0 0 0 144 1 0 0 20 0 1 0 24002959 15847424 3509 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 3869 3509 660 659 0 3073 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 25408 KiB
Current children cumulated memory: 16800 KiB

[startup+3.11306 s]
/proc/loadavg: 4.14 4.49 4.34 6/244 223924
/proc/meminfo: memFree=126450880/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=18192 memory=15988 CPUtime=3.07 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 6402 0 0 0 305 2 0 0 20 0 1 0 24002959 18628608 3997 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 4548 3997 660 659 0 3752 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 28124 KiB
Current children cumulated memory: 18752 KiB

[startup+6.30035 s]
/proc/loadavg: 4.13 4.48 4.34 5/248 223934
/proc/meminfo: memFree=126434324/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=18192 memory=16456 CPUtime=6.24 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 7179 0 0 0 622 2 0 0 20 0 1 0 24002959 18628608 4114 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 4548 4114 660 659 0 3752 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 28124 KiB
Current children cumulated memory: 19220 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.47 4.34 5/248 223936
/proc/meminfo: memFree=126424916/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=19324 memory=17672 CPUtime=12.62 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 9473 0 0 0 1260 2 0 0 20 0 1 0 24002959 19787776 4418 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 4831 4418 660 659 0 4035 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 29256 KiB
Current children cumulated memory: 20436 KiB

[startup+25.5005 s]
/proc/loadavg: 4.16 4.47 4.34 5/248 223937
/proc/meminfo: memFree=126408604/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=25408 memory=23532 CPUtime=25.39 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 16356 0 0 0 2535 4 0 0 20 0 1 0 24002959 26017792 5883 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 6352 5883 660 659 0 5556 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 35340 KiB
Current children cumulated memory: 26296 KiB

[startup+51.1131 s]
/proc/loadavg: 4.10 4.43 4.33 5/247 223943
/proc/meminfo: memFree=126369812/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=41528 memory=39488 CPUtime=50.95 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 21141 0 0 0 5090 5 0 0 20 0 1 0 24002959 42524672 9872 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 10382 9872 660 659 0 9586 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 51460 KiB
Current children cumulated memory: 42252 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.39 4.32 5/247 223951
/proc/meminfo: memFree=126338864/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=45968 memory=43988 CPUtime=102.02 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 24337 0 0 0 10196 6 0 0 20 0 1 0 24002959 47071232 10997 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 11492 10997 660 659 0 10696 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 55900 KiB
Current children cumulated memory: 46752 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.35 4.31 5/247 223962
/proc/meminfo: memFree=126316900/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=53692 memory=51832 CPUtime=161.87 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 27471 0 0 0 16180 7 0 0 20 0 1 0 24002959 54980608 12958 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 13423 12958 660 659 0 12627 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 63624 KiB
Current children cumulated memory: 54596 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.30 4.29 5/246 223972
/proc/meminfo: memFree=126271376/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=70312 memory=68472 CPUtime=221.73 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 30228 0 0 0 22165 8 0 0 20 0 1 0 24002959 71999488 17118 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 17578 17118 660 659 0 16782 0
Current children cumulated CPU time: 221.73 s

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

/proc/loadavg: 4.69 4.34 4.22 5/248 225144
/proc/meminfo: memFree=125961792/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=146052 memory=144256 CPUtime=3033.81 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 64750 0 0 0 303351 30 0 0 20 0 1 0 24002959 149557248 36064 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 36513 36064 660 659 0 35717 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 155984 KiB
Current children cumulated memory: 147020 KiB

[startup+3102.3 s]
/proc/loadavg: 4.56 4.36 4.24 5/248 225155
/proc/meminfo: memFree=125908928/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=146052 memory=144320 CPUtime=3093.65 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 65428 0 0 0 309334 31 0 0 20 0 1 0 24002959 149557248 36080 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 36513 36080 660 659 0 35717 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 155984 KiB
Current children cumulated memory: 147084 KiB

[startup+3162.3 s]
/proc/loadavg: 4.83 4.48 4.29 5/248 225165
/proc/meminfo: memFree=125884020/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=179516 memory=177708 CPUtime=3153.49 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 66193 0 0 0 315318 31 0 0 20 0 1 0 24002959 183824384 44427 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 44879 44427 660 659 0 44083 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 189448 KiB
Current children cumulated memory: 180472 KiB

[startup+3222.3 s]
/proc/loadavg: 4.39 4.42 4.28 5/246 225557
/proc/meminfo: memFree=125926772/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=129292 memory=127360 CPUtime=3213.33 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 67313 0 0 0 321301 32 0 0 20 0 1 0 24002959 132395008 31840 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 32323 31840 660 659 0 31527 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 139224 KiB
Current children cumulated memory: 130124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.36 4.26 5/246 225569
/proc/meminfo: memFree=125856564/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=129292 memory=127560 CPUtime=3273.17 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 67357 0 0 0 327285 32 0 0 20 0 1 0 24002959 132395008 31890 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 32323 31890 660 659 0 31527 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 139224 KiB
Current children cumulated memory: 130324 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.30 4.25 5/246 225579
/proc/meminfo: memFree=125888108/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=129292 memory=127560 CPUtime=3333.01 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 67411 0 0 0 333269 32 0 0 20 0 1 0 24002959 132395008 31890 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 32323 31890 660 659 0 31527 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 139224 KiB
Current children cumulated memory: 130324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.26 4.24 5/248 225760
/proc/meminfo: memFree=125842116/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=129292 memory=127560 CPUtime=3392.85 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 67467 0 0 0 339253 32 0 0 20 0 1 0 24002959 132395008 31890 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 32323 31890 660 659 0 31527 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 139224 KiB
Current children cumulated memory: 130324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.24 4.23 5/248 225770
/proc/meminfo: memFree=125815616/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=129292 memory=127560 CPUtime=3452.69 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 67532 0 0 0 345237 32 0 0 20 0 1 0 24002959 132395008 31890 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 32323 31890 660 659 0 31527 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 139224 KiB
Current children cumulated memory: 130324 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.21 4.22 5/249 225795
/proc/meminfo: memFree=125805616/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=129292 memory=127560 CPUtime=3512.53 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 68112 0 0 0 351220 33 0 0 20 0 1 0 24002959 132395008 31890 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 32323 31890 660 659 0 31527 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 139224 KiB
Current children cumulated memory: 130324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.22 5/249 225807
/proc/meminfo: memFree=125807884/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=129292 memory=127560 CPUtime=3572.37 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 68960 0 0 0 357203 34 0 0 20 0 1 0 24002959 132395008 31890 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 32323 31890 660 659 0 31527 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 139224 KiB
Current children cumulated memory: 130324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.11 4.18 4.21 5/249 225812
/proc/meminfo: memFree=125789444/131655788 swapFree=131070192/131071996
[pid=223779] ppid=223776 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/223779/stat : 223779 (naps-1.03.sh) S 223776 223779 221807 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 24002959 10170368 691 134679101440 94689755209728 94689756289048 140723916312464 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94689758387504 94689758434692 94689783648256 140723916317668 140723916317793 140723916317793 140723916324808 0
/proc/223779/statm: 2483 691 613 264 0 134 0
[pid=223784] ppid=223779 vsize=150760 memory=148816 CPUtime=3600.01 cores=4,6
/proc/223784/stat : 223784 (naps-1.03) R 223779 223779 221807 0 -1 4194304 69220 0 0 0 359967 34 0 0 20 0 1 0 24002959 154378240 37204 134679101440 4194304 6891213 140721167090496 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23642112 140721167094773 140721167094885 140721167094885 140721167101899 0
/proc/223784/statm: 37690 37204 660 659 0 36894 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 160692 KiB
Current children cumulated memory: 151580 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.68 s, system=0.349672 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.02
CPU time (s): 3600.03
CPU user time (s): 3599.68
CPU system time (s): 0.349672
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 193188
Max. memory (cumulated for all children) (KiB): 184220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.68
system time used= 0.349672
maximum resident set size= 181456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69696
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= 35
involuntary context switches= 1639


# summary of solver processes directly reported to runsolver:
#   pid: 223779
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.68
#   total CPU system time (s): 0.349672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8847 second user time and 36.8783 second system time

The end