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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435342-1721162785/watcher-4435342-1721162785 -o /tmp/evaluation-result-4435342-1721162785/solver-4435342-1721162785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721162656-876471 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435342-1721162785.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=877073, runsolver pid=877070
Current StackSize limit: 8192 KiB


[startup+0.100853 s]*
/proc/loadavg: 4.08 4.07 4.12 5/264 877078
/proc/meminfo: memFree=124384096/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=34832 memory=33048 CPUtime=0.08 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 7435 0 0 0 8 0 0 0 20 0 1 0 168449054 35667968 8262 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 8708 8262 421 379 0 8242 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44764 KiB
Current children cumulated memory: 35788 KiB

[startup+0.206852 s]*
/proc/loadavg: 4.08 4.07 4.12 5/264 877078
/proc/meminfo: memFree=124374652/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=43444 memory=41896 CPUtime=0.19 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 9597 0 0 0 18 1 0 0 20 0 1 0 168449054 44486656 10474 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 10861 10474 421 379 0 10395 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53376 KiB
Current children cumulated memory: 44636 KiB

[startup+0.305986 s]*
/proc/loadavg: 4.08 4.07 4.12 5/264 877078
/proc/meminfo: memFree=124368096/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=52732 memory=48620 CPUtime=0.29 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 10308 0 0 0 28 1 0 0 20 0 1 0 168449054 53997568 12155 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 13183 12155 421 379 0 12717 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62664 KiB
Current children cumulated memory: 51360 KiB

[startup+0.700203 s]
/proc/loadavg: 4.08 4.07 4.12 5/264 877078
/proc/meminfo: memFree=124367956/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=52732 memory=48780 CPUtime=0.67 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 10312 0 0 0 66 1 0 0 20 0 1 0 168449054 53997568 12195 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 13183 12195 421 379 0 12717 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62664 KiB
Current children cumulated memory: 51520 KiB

[startup+1.50025 s]
/proc/loadavg: 4.08 4.07 4.12 5/264 877078
/proc/meminfo: memFree=124367088/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=52732 memory=49028 CPUtime=1.47 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 10364 0 0 0 146 1 0 0 20 0 1 0 168449054 53997568 12257 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 13183 12257 421 379 0 12717 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 62664 KiB
Current children cumulated memory: 51768 KiB

[startup+3.10589 s]
/proc/loadavg: 4.08 4.06 4.12 5/264 877078
/proc/meminfo: memFree=124362416/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=57128 memory=53944 CPUtime=3.06 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 11093 0 0 0 305 1 0 0 20 0 1 0 168449054 58499072 13486 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 14282 13486 421 379 0 13816 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 67060 KiB
Current children cumulated memory: 56684 KiB

[startup+6.30025 s]
/proc/loadavg: 4.08 4.06 4.12 5/264 877080
/proc/meminfo: memFree=124359952/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=60104 memory=56540 CPUtime=6.25 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 11799 0 0 0 623 2 0 0 20 0 1 0 168449054 61546496 14135 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 15026 14135 421 379 0 14560 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 70036 KiB
Current children cumulated memory: 59280 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.06 4.11 5/264 877080
/proc/meminfo: memFree=124351648/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=71596 memory=62168 CPUtime=12.63 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 12138 0 0 0 1260 3 0 0 20 0 1 0 168449054 73314304 15542 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 17899 15542 421 379 0 17433 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 81528 KiB
Current children cumulated memory: 64908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.08 4.12 5/264 877083
/proc/meminfo: memFree=124306664/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=78780 memory=74964 CPUtime=25.37 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 13048 0 0 0 2534 3 0 0 20 0 1 0 168449054 80670720 18741 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 19695 18741 421 379 0 19229 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 88712 KiB
Current children cumulated memory: 77704 KiB

[startup+51.106 s]
/proc/loadavg: 4.08 4.07 4.11 5/264 877087
/proc/meminfo: memFree=124331552/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=83720 memory=81516 CPUtime=50.89 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 13760 0 0 0 5085 4 0 0 20 0 1 0 168449054 85729280 20379 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 20930 20379 421 379 0 20464 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 93652 KiB
Current children cumulated memory: 84256 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.07 4.11 5/264 877097
/proc/meminfo: memFree=124274936/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=114068 memory=112232 CPUtime=101.92 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 14656 0 0 0 10187 5 0 0 20 0 1 0 168449054 116805632 28058 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 28517 28058 421 379 0 28051 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 124000 KiB
Current children cumulated memory: 114972 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.07 4.10 5/264 877107
/proc/meminfo: memFree=124253844/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=163388 memory=148152 CPUtime=161.72 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 15333 0 0 0 16165 7 0 0 20 0 1 0 168449054 167309312 37038 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 40847 37038 421 379 0 40381 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 173320 KiB
Current children cumulated memory: 150892 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.07 4.10 5/260 877117
/proc/meminfo: memFree=124266896/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=114068 memory=112232 CPUtime=221.52 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 16273 0 0 0 22143 9 0 0 20 0 1 0 168449054 116805632 28058 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 28517 28058 421 379 0 28051 0
Current children cumulated CPU time: 221.52 s

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

/proc/loadavg: 4.12 4.12 4.09 5/260 878834
/proc/meminfo: memFree=124070312/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=196344 memory=180868 CPUtime=3031.63 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 52320 0 0 0 303073 90 0 0 20 0 1 0 168449054 201056256 45217 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 49086 45217 421 379 0 48620 0
Current children cumulated CPU time: 3031.63 s
Current children cumulated vsize: 206276 KiB
Current children cumulated memory: 183608 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 878845
/proc/meminfo: memFree=123953456/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=227164 memory=216008 CPUtime=3091.42 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 52975 0 0 0 309051 91 0 0 20 0 1 0 168449054 232615936 54002 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 56791 54002 421 379 0 56325 0
Current children cumulated CPU time: 3091.42 s
Current children cumulated vsize: 237096 KiB
Current children cumulated memory: 218748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.49 4.21 4.13 5/259 878856
/proc/meminfo: memFree=124064056/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=147024 memory=138860 CPUtime=3151.22 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 53358 0 0 0 315029 93 0 0 20 0 1 0 168449054 150552576 34715 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 36756 34715 421 379 0 36290 0
Current children cumulated CPU time: 3151.22 s
Current children cumulated vsize: 156956 KiB
Current children cumulated memory: 141600 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/259 878867
/proc/meminfo: memFree=123975928/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=227164 memory=209708 CPUtime=3211 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 54252 0 0 0 321006 94 0 0 20 0 1 0 168449054 232615936 52427 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 56791 52427 421 379 0 56325 0
Current children cumulated CPU time: 3211 s
Current children cumulated vsize: 237096 KiB
Current children cumulated memory: 212448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.11 5/261 878883
/proc/meminfo: memFree=123950252/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=277252 memory=239740 CPUtime=3270.79 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 54624 0 0 0 326984 95 0 0 20 0 1 0 168449054 283906048 59935 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 69313 59935 421 379 0 68847 0
Current children cumulated CPU time: 3270.79 s
Current children cumulated vsize: 287184 KiB
Current children cumulated memory: 242480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/261 878895
/proc/meminfo: memFree=123979180/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=227164 memory=195372 CPUtime=3330.58 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 55545 0 0 0 332961 97 0 0 20 0 1 0 168449054 232615936 48843 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 56791 48843 421 379 0 56325 0
Current children cumulated CPU time: 3330.58 s
Current children cumulated vsize: 237096 KiB
Current children cumulated memory: 198112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/261 878906
/proc/meminfo: memFree=123925484/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=277252 memory=229500 CPUtime=3390.36 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 55972 0 0 0 338938 98 0 0 20 0 1 0 168449054 283906048 57375 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 69313 57375 421 379 0 68847 0
Current children cumulated CPU time: 3390.36 s
Current children cumulated vsize: 287184 KiB
Current children cumulated memory: 232240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/261 878917
/proc/meminfo: memFree=123996572/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=147024 memory=142956 CPUtime=3450.14 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 56063 0 0 0 344915 99 0 0 20 0 1 0 168449054 150552576 35739 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 36756 35739 421 379 0 36290 0
Current children cumulated CPU time: 3450.14 s
Current children cumulated vsize: 156956 KiB
Current children cumulated memory: 145696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/262 879128
/proc/meminfo: memFree=123471196/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=227164 memory=209708 CPUtime=3509.92 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 56956 0 0 0 350891 101 0 0 20 0 1 0 168449054 232615936 52427 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 56791 52427 421 379 0 56325 0
Current children cumulated CPU time: 3509.92 s
Current children cumulated vsize: 237096 KiB
Current children cumulated memory: 212448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.46 4.22 4.13 5/260 879138
/proc/meminfo: memFree=123393328/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=277252 memory=245884 CPUtime=3569.7 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 57333 0 0 0 356867 103 0 0 20 0 1 0 168449054 283906048 61471 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 69313 61471 421 379 0 68847 0
Current children cumulated CPU time: 3569.7 s
Current children cumulated vsize: 287184 KiB
Current children cumulated memory: 248624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.8 s]
/proc/loadavg: 4.34 4.22 4.13 5/260 879144
/proc/meminfo: memFree=123481648/131524596 swapFree=131071996/131071996
[pid=877073] ppid=877070 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/877073/stat : 877073 (naps-1.02b5.sh) S 877070 877073 876461 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 168449053 10170368 685 134679101440 94619197374464 94619198453784 140725866402256 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94619200552240 94619200599428 94619217412096 140725866406880 140725866407007 140725866407007 140725866414022 0
/proc/877073/statm: 2483 685 606 264 0 134 0
[pid=877078] ppid=877073 vsize=147024 memory=142960 CPUtime=3600.08 cores=0,2
/proc/877078/stat : 877078 (naps-1.02b5) R 877073 877073 876461 0 -1 4194304 57354 0 0 0 359905 103 0 0 20 0 1 0 168449054 150552576 35740 134679101440 4194304 5746509 140729184525216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 34533376 140729184527343 140729184527457 140729184527457 140729184534473 0
/proc/877078/statm: 36756 35740 421 379 0 36290 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 156956 KiB
Current children cumulated memory: 145700 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.06 s, system=1.03457 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.8
CPU time (s): 3600.09
CPU user time (s): 3599.06
CPU system time (s): 1.03457
CPU usage (%): 99.6482
Max. virtual memory (cumulated for all children) (KiB): 287184
Max. memory (cumulated for all children) (KiB): 260912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.06
system time used= 1.03457
maximum resident set size= 258172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57832
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= 74
involuntary context switches= 25207


# summary of solver processes directly reported to runsolver:
#   pid: 877073
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.06
#   total CPU system time (s): 1.03457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99781 second user time and 18.507 second system time

The end