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: 63931 MiB (62083 MiB free)
  memory of node 1: 64510 MiB (59604 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461281-1722075866/watcher-4461281-1722075866 -o /tmp/evaluation-result-4461281-1722075866/solver-4461281-1722075866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722075866-324408 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461281-1722075866.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=324453, runsolver pid=324450

[startup+0.100088 s]*
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124533736/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=20584 memory=17952 CPUtime=0.09 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 4896 0 0 0 9 0 0 0 20 0 1 0 44109507 21078016 4488 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 5146 4488 468 659 0 4350 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30516 KiB
Current children cumulated memory: 20628 KiB

[startup+0.205887 s]*
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124468996/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=48996 memory=42632 CPUtime=0.2 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 10589 0 0 0 19 1 0 0 20 0 1 0 44109507 50171904 10658 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 12249 10658 468 659 0 11453 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58928 KiB
Current children cumulated memory: 45308 KiB

[startup+0.305758 s]*
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124413584/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=61152 memory=56884 CPUtime=0.29 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 13630 0 0 0 28 1 0 0 20 0 1 0 44109507 62619648 14221 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 15288 14221 468 659 0 14492 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71084 KiB
Current children cumulated memory: 59560 KiB

[startup+0.700233 s]
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124326940/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=77380 memory=74624 CPUtime=0.69 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 17527 0 0 0 67 2 0 0 20 0 1 0 44109507 79237120 18656 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 19345 18656 468 659 0 18549 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 87312 KiB
Current children cumulated memory: 77300 KiB

[startup+1.50025 s]
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124249252/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=87692 memory=80824 CPUtime=1.48 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 18054 0 0 0 146 2 0 0 20 0 1 0 44109507 89796608 20206 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 21923 20206 468 659 0 21127 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97624 KiB
Current children cumulated memory: 83500 KiB

[startup+3.10563 s]
/proc/loadavg: 1.04 1.31 1.88 5/265 324488
/proc/meminfo: memFree=124217936/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=106436 memory=84768 CPUtime=3.08 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 18635 0 0 0 306 2 0 0 20 0 1 0 44109507 108990464 21192 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 26609 21192 468 659 0 25813 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116368 KiB
Current children cumulated memory: 87444 KiB

[startup+6.30025 s]
/proc/loadavg: 1.28 1.35 1.89 5/265 324490
/proc/meminfo: memFree=124131756/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=106436 memory=91180 CPUtime=6.27 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 19113 0 0 0 624 3 0 0 20 0 1 0 44109507 108990464 22795 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 26609 22795 468 659 0 25813 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116368 KiB
Current children cumulated memory: 93856 KiB

[startup+12.7002 s]
/proc/loadavg: 1.50 1.39 1.90 5/265 324490
/proc/meminfo: memFree=124069108/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=125292 memory=119744 CPUtime=12.64 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 19647 0 0 0 1260 4 0 0 20 0 1 0 44109507 128299008 29936 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 31323 29936 468 659 0 30527 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 135224 KiB
Current children cumulated memory: 122420 KiB

[startup+25.5003 s]
/proc/loadavg: 2.05 1.52 1.93 5/265 324491
/proc/meminfo: memFree=123960812/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=174612 memory=161172 CPUtime=25.39 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 20004 0 0 0 2533 6 0 0 20 0 1 0 44109507 178802688 40293 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 43653 40293 468 659 0 42857 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 184544 KiB
Current children cumulated memory: 163848 KiB

[startup+51.1058 s]
/proc/loadavg: 2.72 1.72 1.99 5/265 324496
/proc/meminfo: memFree=123979260/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=190356 memory=173116 CPUtime=50.91 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 21837 0 0 0 5082 9 0 0 20 0 1 0 44109507 194924544 43279 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 47589 43279 468 659 0 46793 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 200288 KiB
Current children cumulated memory: 175792 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.09 2.10 5/262 324888
/proc/meminfo: memFree=123899244/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=221176 memory=189144 CPUtime=101.93 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 24566 0 0 0 10180 13 0 0 20 0 1 0 44109507 226484224 47286 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 55294 47286 468 659 0 54498 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 231108 KiB
Current children cumulated memory: 191820 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.47 2.24 5/262 324899
/proc/meminfo: memFree=123875472/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=228040 memory=206248 CPUtime=161.74 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 27558 0 0 0 16157 17 0 0 20 0 1 0 44109507 233512960 51562 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 57010 51562 468 659 0 56214 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 237972 KiB
Current children cumulated memory: 208924 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.77 2.35 5/262 324910
/proc/meminfo: memFree=123862432/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=281628 memory=241624 CPUtime=221.54 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 30819 0 0 0 22133 21 0 0 20 0 1 0 44109507 288387072 60406 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 70407 60406 468 659 0 69611 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 291560 KiB

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

/proc/loadavg: 4.10 4.12 4.04 5/261 326223
/proc/meminfo: memFree=123351056/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=366096 memory=320336 CPUtime=3032.05 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 83795 0 0 0 303103 102 0 0 20 0 1 0 44109507 374882304 80084 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 91524 80084 468 659 0 90728 0
Current children cumulated CPU time: 3032.05 s
Current children cumulated vsize: 376028 KiB
Current children cumulated memory: 323012 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/260 326233
/proc/meminfo: memFree=123302172/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=366096 memory=338972 CPUtime=3091.84 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 83910 0 0 0 309082 102 0 0 20 0 1 0 44109507 374882304 84743 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 91524 84743 468 659 0 90728 0
Current children cumulated CPU time: 3091.84 s
Current children cumulated vsize: 376028 KiB
Current children cumulated memory: 341648 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/260 326244
/proc/meminfo: memFree=123215432/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=366096 memory=358864 CPUtime=3151.63 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 84464 0 0 0 315060 103 0 0 20 0 1 0 44109507 374882304 89716 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 91524 89716 468 659 0 90728 0
Current children cumulated CPU time: 3151.63 s
Current children cumulated vsize: 376028 KiB
Current children cumulated memory: 361540 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/260 326255
/proc/meminfo: memFree=123184592/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=447484 memory=376508 CPUtime=3211.42 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 84843 0 0 0 321039 103 0 0 20 0 1 0 44109507 458223616 94127 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 111871 94127 468 659 0 111075 0
Current children cumulated CPU time: 3211.42 s
Current children cumulated vsize: 457416 KiB
Current children cumulated memory: 379184 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/260 326266
/proc/meminfo: memFree=123101704/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=448920 memory=387784 CPUtime=3271.21 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 85219 0 0 0 327017 104 0 0 20 0 1 0 44109507 459694080 96946 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 112230 96946 468 659 0 111434 0
Current children cumulated CPU time: 3271.21 s
Current children cumulated vsize: 458852 KiB
Current children cumulated memory: 390460 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/259 326276
/proc/meminfo: memFree=123093252/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=450268 memory=403224 CPUtime=3331 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 85595 0 0 0 332996 104 0 0 20 0 1 0 44109507 461074432 100806 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 112567 100806 468 659 0 111771 0
Current children cumulated CPU time: 3331 s
Current children cumulated vsize: 460200 KiB
Current children cumulated memory: 405900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.11 4.05 5/261 326291
/proc/meminfo: memFree=123223876/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=452416 memory=415088 CPUtime=3390.8 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 86144 0 0 0 338976 104 0 0 20 0 1 0 44109507 463273984 103772 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 113104 103772 468 659 0 112308 0
Current children cumulated CPU time: 3390.8 s
Current children cumulated vsize: 462348 KiB
Current children cumulated memory: 417764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/261 326301
/proc/meminfo: memFree=123309180/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=322416 memory=310068 CPUtime=3450.61 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 86685 0 0 0 344955 106 0 0 20 0 1 0 44109507 330153984 77517 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 80604 77517 468 659 0 79808 0
Current children cumulated CPU time: 3450.61 s
Current children cumulated vsize: 332348 KiB
Current children cumulated memory: 312744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/261 326312
/proc/meminfo: memFree=123252104/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=372504 memory=327452 CPUtime=3510.41 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 87619 0 0 0 350934 107 0 0 20 0 1 0 44109507 381444096 81863 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 93126 81863 468 659 0 92330 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 382436 KiB
Current children cumulated memory: 330128 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/261 326324
/proc/meminfo: memFree=123154488/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=372756 memory=348804 CPUtime=3570.2 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 87798 0 0 0 356913 107 0 0 20 0 1 0 44109507 381702144 87201 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 93189 87201 468 659 0 92393 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 382688 KiB
Current children cumulated memory: 351480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.12 4.10 4.06 5/261 326480
/proc/meminfo: memFree=124134524/131524600 swapFree=131060148/131071996
[pid=324453] ppid=324450 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/324453/stat : 324453 (naps-1.03.sh) S 324450 324453 324398 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44109506 10170368 669 134679101440 93909950742528 93909951821848 140720559204400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93909953920304 93909953967492 93909982445568 140720559207389 140720559207518 140720559207518 140720559214536 0
/proc/324453/statm: 2483 669 590 264 0 134 0
[pid=324458] ppid=324453 vsize=372756 memory=357092 CPUtime=3600 cores=0,2
/proc/324458/stat : 324458 (naps-1.03) R 324453 324453 324398 0 -1 4194304 87951 0 0 0 359892 108 0 0 20 0 1 0 44109507 381702144 89273 134679101440 4194304 6891597 140726288403648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23814144 140726288409582 140726288409698 140726288409698 140726288416715 0
/proc/324458/statm: 93189 89273 468 659 0 92393 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 382688 KiB
Current children cumulated memory: 359768 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.93 s, system=1.08725 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): 3612.2
CPU time (s): 3600.01
CPU user time (s): 3598.93
CPU system time (s): 1.08725
CPU usage (%): 99.6626
Max. virtual memory (cumulated for all children) (KiB): 514520
Max. memory (cumulated for all children) (KiB): 425032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.93
system time used= 1.08725
maximum resident set size= 490420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88428
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= 221
involuntary context switches= 25235


# summary of solver processes directly reported to runsolver:
#   pid: 324453
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3598.93
#   total CPU system time (s): 1.08725

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40805 second user time and 17.8586 second system time

The end