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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461304-1722075956/watcher-4461304-1722075956 -o /tmp/evaluation-result-4461304-1722075956/solver-4461304-1722075956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722075956-308407 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461304-1722075956.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=308471, runsolver pid=308467

[startup+0.100097 s]*
/proc/loadavg: 1.18 2.12 3.02 6/253 308486
/proc/meminfo: memFree=126744452/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=21520 memory=15264 CPUtime=0.1 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 3759 0 0 0 9 1 0 0 20 0 1 0 43585498 22036480 3816 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 5380 3816 468 659 0 4584 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31452 KiB
Current children cumulated memory: 17992 KiB

[startup+0.215427 s]*
/proc/loadavg: 1.18 2.12 3.02 5/253 308486
/proc/meminfo: memFree=126714932/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=21808 memory=18488 CPUtime=0.21 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 4902 0 0 0 20 1 0 0 20 0 1 0 43585498 22331392 4622 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 5452 4622 468 659 0 4656 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31740 KiB
Current children cumulated memory: 21216 KiB

[startup+0.315273 s]*
/proc/loadavg: 1.18 2.12 3.02 5/253 308486
/proc/meminfo: memFree=126704684/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=22684 memory=19808 CPUtime=0.31 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 5592 0 0 0 30 1 0 0 20 0 1 0 43585498 23228416 4952 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 5671 4952 468 659 0 4875 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32616 KiB
Current children cumulated memory: 22536 KiB

[startup+0.700467 s]
/proc/loadavg: 1.18 2.12 3.02 5/253 308486
/proc/meminfo: memFree=126674220/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=53992 memory=51212 CPUtime=0.68 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 11928 0 0 0 64 4 0 0 20 0 1 0 43585498 55287808 12803 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 13498 12803 468 659 0 12702 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63924 KiB
Current children cumulated memory: 53940 KiB

[startup+1.50038 s]
/proc/loadavg: 1.18 2.12 3.02 7/253 308486
/proc/meminfo: memFree=126588264/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=71368 memory=66912 CPUtime=1.48 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 15630 0 0 0 143 5 0 0 20 0 1 0 43585498 73080832 16728 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 17842 16728 468 659 0 17046 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81300 KiB
Current children cumulated memory: 69640 KiB

[startup+3.11429 s]
/proc/loadavg: 1.41 2.15 3.03 6/253 308538
/proc/meminfo: memFree=126282480/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=82904 memory=73848 CPUtime=3.08 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 16087 0 0 0 303 5 0 0 20 0 1 0 43585498 84893696 18462 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 20726 18462 468 659 0 19930 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92836 KiB
Current children cumulated memory: 76576 KiB

[startup+6.30041 s]
/proc/loadavg: 1.41 2.15 3.03 6/253 308538
/proc/meminfo: memFree=126076864/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=113364 memory=84192 CPUtime=6.26 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 16935 0 0 0 620 6 0 0 20 0 1 0 43585498 116084736 21048 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 28341 21048 468 659 0 27545 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123296 KiB
Current children cumulated memory: 86920 KiB

[startup+12.7004 s]
/proc/loadavg: 1.62 2.18 3.03 7/253 308538
/proc/meminfo: memFree=125967180/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=162684 memory=124996 CPUtime=12.64 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 17875 0 0 0 1256 8 0 0 20 0 1 0 43585498 166588416 31249 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 40671 31249 468 659 0 39875 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 172616 KiB
Current children cumulated memory: 127724 KiB

[startup+25.5005 s]
/proc/loadavg: 2.14 2.27 3.05 6/253 308541
/proc/meminfo: memFree=125828104/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=193504 memory=147772 CPUtime=25.4 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 19213 0 0 0 2530 10 0 0 20 0 1 0 43585498 198148096 36943 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 48376 36943 468 659 0 47580 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 203436 KiB
Current children cumulated memory: 150500 KiB

[startup+51.1145 s]
/proc/loadavg: 2.85 2.42 3.08 6/253 308544
/proc/meminfo: memFree=125647892/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=193504 memory=162360 CPUtime=50.92 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 21436 0 0 0 5080 12 0 0 20 0 1 0 43585498 198148096 40590 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 48376 40590 468 659 0 47580 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 203436 KiB
Current children cumulated memory: 165088 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.70 3.14 6/253 308552
/proc/meminfo: memFree=125712952/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=187896 memory=169260 CPUtime=101.94 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 25403 0 0 0 10175 19 0 0 20 0 1 0 43585498 192405504 42315 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 46974 42315 468 659 0 46178 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 197828 KiB
Current children cumulated memory: 171988 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.97 3.21 6/255 308734
/proc/meminfo: memFree=125610092/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=226760 memory=220704 CPUtime=161.72 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 27907 0 0 0 16150 22 0 0 20 0 1 0 43585498 232202240 55176 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 56690 55176 468 659 0 55894 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 236692 KiB
Current children cumulated memory: 223432 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.19 3.27 6/255 308744
/proc/meminfo: memFree=125506144/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=285576 memory=246912 CPUtime=221.52 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 30277 0 0 0 22127 25 0 0 20 0 1 0 43585498 292429824 61728 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 71394 61728 468 659 0 70598 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 295508 KiB

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

/proc/308476/statm: 144450 129112 468 659 0 143654 0
Current children cumulated CPU time: 3091.92 s
Current children cumulated vsize: 587732 KiB
Current children cumulated memory: 519176 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.15 4.10 7/246 309899
/proc/meminfo: memFree=124515256/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=365364 memory=344900 CPUtime=3151.72 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 77525 0 0 0 315060 112 0 0 20 0 1 0 43585498 374132736 86225 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 91341 86225 468 659 0 90545 0
Current children cumulated CPU time: 3151.72 s
Current children cumulated vsize: 375296 KiB
Current children cumulated memory: 347628 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.15 4.10 6/246 309909
/proc/meminfo: memFree=124381796/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=446752 memory=390628 CPUtime=3211.52 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 77815 0 0 0 321039 113 0 0 20 0 1 0 43585498 457474048 97657 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 111688 97657 468 659 0 110892 0
Current children cumulated CPU time: 3211.52 s
Current children cumulated vsize: 456684 KiB
Current children cumulated memory: 393356 KiB

[startup+3282.3 s]
/proc/loadavg: 4.65 4.29 4.15 7/248 309923
/proc/meminfo: memFree=124233044/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=446752 memory=433644 CPUtime=3271.32 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 77964 0 0 0 327018 114 0 0 20 0 1 0 43585498 457474048 108411 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 111688 108411 468 659 0 110892 0
Current children cumulated CPU time: 3271.32 s
Current children cumulated vsize: 456684 KiB
Current children cumulated memory: 436372 KiB

[startup+3342.3 s]
/proc/loadavg: 4.66 4.36 4.18 6/248 309934
/proc/meminfo: memFree=124210248/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=579580 memory=480860 CPUtime=3331.11 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 78685 0 0 0 332996 115 0 0 20 0 1 0 43585498 593489920 120215 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 144895 120215 468 659 0 144099 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 589512 KiB
Current children cumulated memory: 483588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.32 4.18 7/248 309945
/proc/meminfo: memFree=124059296/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=580432 memory=524564 CPUtime=3390.91 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 79014 0 0 0 338975 116 0 0 20 0 1 0 43585498 594362368 131141 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 145108 131141 468 659 0 144312 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 590364 KiB
Current children cumulated memory: 527292 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.29 4.18 6/247 309955
/proc/meminfo: memFree=124683652/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=369472 memory=342880 CPUtime=3450.7 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 79962 0 0 0 344950 120 0 0 20 0 1 0 43585498 378339328 85720 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 92368 85720 468 659 0 91572 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 379404 KiB
Current children cumulated memory: 345608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.27 4.18 7/247 309965
/proc/meminfo: memFree=124542752/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=450860 memory=394752 CPUtime=3510.5 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 80280 0 0 0 350929 121 0 0 20 0 1 0 43585498 461680640 98688 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 112715 98688 468 659 0 111919 0
Current children cumulated CPU time: 3510.5 s
Current children cumulated vsize: 460792 KiB
Current children cumulated memory: 397480 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.23 4.17 6/248 310359
/proc/meminfo: memFree=124666640/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=450860 memory=433664 CPUtime=3570.31 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 80437 0 0 0 356909 122 0 0 20 0 1 0 43585498 461680640 108416 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 112715 108416 468 659 0 111919 0
Current children cumulated CPU time: 3570.31 s
Current children cumulated vsize: 460792 KiB
Current children cumulated memory: 436392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.20 4.24 4.18 6/243 310480
/proc/meminfo: memFree=126098740/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=583120 memory=453756 CPUtime=3600.03 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 81018 0 0 0 359880 123 0 0 20 0 1 0 43585498 597114880 113439 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 145780 113439 468 659 0 144984 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 593052 KiB
Current children cumulated memory: 456484 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002008 s, system=0.005653 s

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

# cumulated CPU time of all completed processes:  user=3598.8 s, system=1.24694 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

[startup+3612.11 s]
/proc/loadavg: 4.20 4.24 4.18 6/243 310480
/proc/meminfo: memFree=126098740/131655788 swapFree=131058856/131071996
[pid=308471] ppid=308467 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/308471/stat : 308471 (naps-1.03.sh) S 308467 308471 308397 0 -1 4194304 226 241 0 0 0 0 0 0 20 0 1 0 43585498 10170368 682 134679101440 94047520722944 94047521802264 140726607927488 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94047523900720 94047523947908 94047532007424 140726607930333 140726607930462 140726607930462 140726607937480 0
/proc/308471/statm: 2483 682 604 264 0 134 0
[pid=308476] ppid=308471 vsize=583120 memory=453756 CPUtime=3600.03 cores=0,2
/proc/308476/stat : 308476 (naps-1.03) R 308471 308471 308397 0 -1 4194304 81018 0 0 0 359880 123 0 0 20 0 1 0 43585498 597114880 113439 134679101440 4194304 6891597 140730699291888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24625152 140730699297774 140730699297890 140730699297890 140730699304907 0
/proc/308476/statm: 145780 113439 468 659 0 144984 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 593052 KiB
Current children cumulated memory: 456484 KiB

Child status: 10

Real time (s): 3612.12
CPU time (s): 3600.05
CPU user time (s): 3598.8
CPU system time (s): 1.24694
CPU usage (%): 99.6658
Max. virtual memory (cumulated for all children) (KiB): 723280
Max. memory (cumulated for all children) (KiB): 637628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.8
system time used= 1.24694
maximum resident set size= 655408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81485
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= 181
involuntary context switches= 25210


# summary of solver processes directly reported to runsolver:
#   pid: 308471,308476
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.8
#   total CPU system time (s): 1.24694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.8203 second user time and 36.2959 second system time

The end