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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426385-1720901798/watcher-4426385-1720901798 -o /tmp/evaluation-result-4426385-1720901798/solver-4426385-1720901798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720901807-729180 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426385-1720901798.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
solver pid=729404, runsolver pid=729401
Current StackSize limit: 8192 KiB


[startup+0.100664 s]*
/proc/loadavg: 0.18 0.10 0.10 5/259 729409
/proc/meminfo: memFree=128643772/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=16444 memory=9756 CPUtime=0.09 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2169 0 0 0 9 0 0 0 20 0 1 0 142347943 16838656 2439 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 4111 2439 436 659 0 3315 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26376 KiB
Current children cumulated memory: 12340 KiB

[startup+0.205654 s]*
/proc/loadavg: 0.18 0.10 0.10 5/259 729409
/proc/meminfo: memFree=128621860/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=24508 memory=17696 CPUtime=0.19 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 4187 0 0 0 19 0 0 0 20 0 1 0 142347943 25096192 4424 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6127 4424 436 659 0 5331 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34440 KiB
Current children cumulated memory: 20280 KiB

[startup+0.30552 s]*
/proc/loadavg: 0.49 0.17 0.12 5/259 729409
/proc/meminfo: memFree=128561896/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=32104 memory=25344 CPUtime=0.3 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 6310 0 0 0 29 1 0 0 20 0 1 0 142347943 32874496 6336 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 8026 6336 436 659 0 7230 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42036 KiB
Current children cumulated memory: 27928 KiB

[startup+0.700271 s]
/proc/loadavg: 0.49 0.17 0.12 5/259 729409
/proc/meminfo: memFree=128409576/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=63496 memory=54000 CPUtime=0.68 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 13585 0 0 0 66 2 0 0 20 0 1 0 142347943 65019904 13500 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 15874 13500 468 659 0 15078 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73428 KiB
Current children cumulated memory: 56584 KiB

[startup+1.50025 s]
/proc/loadavg: 0.49 0.17 0.12 5/260 729410
/proc/meminfo: memFree=128129000/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=70668 memory=60860 CPUtime=1.49 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 15351 0 0 0 146 3 0 0 20 0 1 0 142347943 72364032 15215 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 17667 15215 468 659 0 16871 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 63444 KiB

[startup+3.10529 s]
/proc/loadavg: 0.49 0.17 0.12 5/260 729412
/proc/meminfo: memFree=127933208/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=70668 memory=60860 CPUtime=3.09 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 15352 0 0 0 306 3 0 0 20 0 1 0 142347943 72364032 15215 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 17667 15215 468 659 0 16871 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 63444 KiB

[startup+6.30024 s]
/proc/loadavg: 0.77 0.23 0.14 5/260 729412
/proc/meminfo: memFree=127418564/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=981660 memory=628932 CPUtime=6.27 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 90519 0 0 0 605 22 0 0 20 0 1 0 142347943 1005219840 156721 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 245415 157233 468 659 0 244619 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 991592 KiB
Current children cumulated memory: 631516 KiB

[startup+12.7002 s]
/proc/loadavg: 1.03 0.30 0.16 5/260 729512
/proc/meminfo: memFree=126190272/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=2801184 memory=2610624 CPUtime=12.65 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 269419 0 0 0 1189 76 0 0 20 0 1 0 142347943 2868412416 652656 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 700296 652656 468 659 0 699500 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2811116 KiB
Current children cumulated memory: 2613208 KiB

[startup+25.5003 s]
/proc/loadavg: 1.65 0.45 0.21 5/260 730165
/proc/meminfo: memFree=122433592/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=7389636 memory=6577544 CPUtime=25.41 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 654379 0 0 0 2355 186 0 0 20 0 1 0 142347943 7566987264 1644386 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 1847409 1644386 468 659 0 1846613 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 7399568 KiB
Current children cumulated memory: 6580128 KiB

[startup+51.1055 s]
/proc/loadavg: 2.57 0.79 0.33 5/260 730218
/proc/meminfo: memFree=117254052/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=9396448 memory=8643576 CPUtime=50.92 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 851842 0 0 0 4843 249 0 0 20 0 1 0 142347943 9621962752 2160894 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 2349112 2160894 468 659 0 2348316 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 9406380 KiB
Current children cumulated memory: 8646160 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.32 0.54 5/260 730325
/proc/meminfo: memFree=115614044/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=9461968 memory=8570084 CPUtime=101.93 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 908444 0 0 0 9893 300 0 0 20 0 1 0 142347943 9689055232 2142521 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 2365492 2142521 468 659 0 2364696 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 9471900 KiB
Current children cumulated memory: 8572668 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 1.83 0.76 5/260 730386
/proc/meminfo: memFree=106955244/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=12766872 memory=11122960 CPUtime=161.73 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 1152657 0 0 0 15768 405 0 0 20 0 1 0 142347943 13073276928 2780740 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 3191718 2780740 468 659 0 3190922 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 12776804 KiB
Current children cumulated memory: 11125544 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.24 0.97 5/262 730400
/proc/meminfo: memFree=103362912/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=17051520 memory=14764612 CPUtime=221.52 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 1569121 0 0 0 21604 548 0 0 20 0 1 0 142347943 17460756480 3691153 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 4262880 3691153 468 659 0 4262084 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 17061452 KiB

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

[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909308 memory=22615836 CPUtime=3091.95 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2470898 0 0 0 307978 1217 0 0 20 0 1 0 142347943 26531131392 5653959 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477327 5653959 468 659 0 6476531 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 25919240 KiB
Current children cumulated memory: 22618420 KiB

[startup+3162.3 s]
/proc/loadavg: 3.11 3.09 3.02 4/251 732147
/proc/meminfo: memFree=98865428/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909440 memory=22615948 CPUtime=3151.74 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2473167 0 0 0 313949 1225 0 0 20 0 1 0 142347943 26531266560 5653987 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477360 5653987 468 659 0 6476564 0
Current children cumulated CPU time: 3151.74 s
Current children cumulated vsize: 25919372 KiB
Current children cumulated memory: 22618532 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.09 3.02 4/254 732162
/proc/meminfo: memFree=98749904/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909440 memory=22618064 CPUtime=3211.55 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2475802 0 0 0 319921 1234 0 0 20 0 1 0 142347943 26531266560 5654516 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477360 5654516 468 659 0 6476564 0
Current children cumulated CPU time: 3211.55 s
Current children cumulated vsize: 25919372 KiB
Current children cumulated memory: 22620648 KiB

[startup+3282.3 s]
/proc/loadavg: 3.08 3.08 3.02 4/254 732175
/proc/meminfo: memFree=98646808/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909576 memory=22618160 CPUtime=3271.35 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2477815 0 0 0 325893 1242 0 0 20 0 1 0 142347943 26531405824 5654540 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477394 5654540 468 659 0 6476598 0
Current children cumulated CPU time: 3271.35 s
Current children cumulated vsize: 25919508 KiB
Current children cumulated memory: 22620744 KiB

[startup+3342.3 s]
/proc/loadavg: 3.06 3.08 3.02 4/254 732185
/proc/meminfo: memFree=98856680/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909712 memory=22620352 CPUtime=3331.16 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2480042 0 0 0 331865 1251 0 0 20 0 1 0 142347943 26531545088 5655088 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477428 5655088 468 659 0 6476632 0
Current children cumulated CPU time: 3331.16 s
Current children cumulated vsize: 25919644 KiB
Current children cumulated memory: 22622936 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.08 3.02 4/254 732196
/proc/meminfo: memFree=99044248/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909848 memory=22620488 CPUtime=3390.96 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2482087 0 0 0 337837 1259 0 0 20 0 1 0 142347943 26531684352 5655122 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477462 5655122 468 659 0 6476666 0
Current children cumulated CPU time: 3390.96 s
Current children cumulated vsize: 25919780 KiB
Current children cumulated memory: 22623072 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.10 3.02 4/254 732207
/proc/meminfo: memFree=98925792/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909848 memory=22622604 CPUtime=3450.76 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2484162 0 0 0 343808 1268 0 0 20 0 1 0 142347943 26531684352 5655651 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477462 5655651 468 659 0 6476666 0
Current children cumulated CPU time: 3450.76 s
Current children cumulated vsize: 25919780 KiB
Current children cumulated memory: 22625188 KiB

[startup+3522.3 s]
/proc/loadavg: 3.11 3.09 3.02 4/252 732218
/proc/meminfo: memFree=99201416/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909980 memory=22240944 CPUtime=3510.56 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2503668 0 0 0 349745 1311 0 0 20 0 1 0 142347943 26531819520 5560236 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477495 5560236 468 659 0 6476699 0
Current children cumulated CPU time: 3510.56 s
Current children cumulated vsize: 25919912 KiB
Current children cumulated memory: 22243528 KiB

[startup+3582.3 s]
/proc/loadavg: 3.07 3.09 3.02 4/252 732229
/proc/meminfo: memFree=99093908/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909980 memory=22240952 CPUtime=3570.36 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2506741 0 0 0 355717 1319 0 0 20 0 1 0 142347943 26531819520 5560238 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477495 5560238 468 659 0 6476699 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 25919912 KiB
Current children cumulated memory: 22243536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 3.02 3.08 3.02 3/244 732265
/proc/meminfo: memFree=99736720/131524600 swapFree=131071996/131071996
[pid=729404] ppid=729401 vsize=9932 memory=2584 CPUtime=0 cores=0,2
/proc/729404/stat : 729404 (naps-1.03.sh) S 729401 729404 729170 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 142347943 10170368 646 134679101440 94204020584448 94204021663768 140726857220096 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94204023762224 94204023809412 94204050014208 140726857225132 140726857225261 140726857225261 140726857232328 0
/proc/729404/statm: 2483 646 566 264 0 134 0
[pid=729409] ppid=729404 vsize=25909980 memory=22243024 CPUtime=3600.06 cores=0,2
/proc/729409/stat : 729409 (naps-1.03) R 729404 729404 729170 0 -1 4194304 2508486 0 0 0 358684 1322 0 0 20 0 1 0 142347943 26531819520 5560756 134679101440 4194304 6891213 140728333684448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40357888 140728333685693 140728333685809 140728333685809 140728333692875 0
/proc/729409/statm: 6477495 5560756 468 659 0 6476699 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 25919912 KiB
Current children cumulated memory: 22245608 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00084 s, system=0.001878 s

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

# cumulated CPU time of all completed processes:  user=3586.85 s, system=13.613 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.4 s]
/proc/loadavg: 3.02 3.08 3.02 3/243 732265
/proc/meminfo: memFree=104068280/131524600 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.002718 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3612.49
CPU time (s): 3600.46
CPU user time (s): 3586.85
CPU system time (s): 13.613
CPU usage (%): 99.667
Max. virtual memory (cumulated for all children) (KiB): 28317724
Max. memory (cumulated for all children) (KiB): 24146536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.85
system time used= 13.613
maximum resident set size= 24143952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2508948
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= 53
involuntary context switches= 25222


# summary of solver processes directly reported to runsolver:
#   pid: 729404,729409
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3586.85
#   total CPU system time (s): 13.613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33913 second user time and 16.8169 second system time

The end