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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458459-1721883757/watcher-4458459-1721883757 -o /tmp/evaluation-result-4458459-1721883757/solver-4458459-1721883757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221817 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4458459-1721883757.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
LinuxS4.18.0-301.1.el8.x86_64
LinuxS4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB

solver pid=225957, runsolver pid=225954

[startup+0.100633 s]*
/proc/loadavg: 4.10 4.18 4.21 5/249 225962
/proc/meminfo: memFree=126026080/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=18428 memory=16724 CPUtime=0.09 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 4206 0 0 0 9 0 0 0 20 0 1 0 24364539 18870272 4181 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 4607 4181 644 659 0 3811 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28360 KiB
Current children cumulated memory: 19376 KiB

[startup+0.214293 s]*
/proc/loadavg: 4.10 4.18 4.21 6/249 225962
/proc/meminfo: memFree=126023748/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=19632 memory=17780 CPUtime=0.21 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 4428 0 0 0 21 0 0 0 20 0 1 0 24364539 20103168 4445 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 4908 4445 644 659 0 4112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29564 KiB
Current children cumulated memory: 20432 KiB

[startup+0.314218 s]*
/proc/loadavg: 4.10 4.18 4.21 5/249 225962
/proc/meminfo: memFree=126023748/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=21084 memory=19100 CPUtime=0.32 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 4780 0 0 0 31 1 0 0 20 0 1 0 24364539 21590016 4775 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 5271 4775 644 659 0 4475 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 31016 KiB
Current children cumulated memory: 21752 KiB

[startup+0.700366 s]
/proc/loadavg: 4.10 4.18 4.21 5/249 225962
/proc/meminfo: memFree=126020856/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=26012 memory=24320 CPUtime=0.68 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 8131 0 0 0 67 1 0 0 20 0 1 0 24364539 26636288 6080 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 6503 6080 660 659 0 5707 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35944 KiB
Current children cumulated memory: 26972 KiB

[startup+1.5004 s]
/proc/loadavg: 4.10 4.18 4.21 5/249 225962
/proc/meminfo: memFree=126017312/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=27888 memory=26172 CPUtime=1.48 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 10305 0 0 0 147 1 0 0 20 0 1 0 24364539 28557312 6543 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 6972 6543 660 659 0 6176 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37820 KiB
Current children cumulated memory: 28824 KiB

[startup+3.11268 s]
/proc/loadavg: 4.10 4.18 4.21 5/246 225963
/proc/meminfo: memFree=126044236/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=26160 memory=24748 CPUtime=3.09 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 11244 0 0 0 307 2 0 0 20 0 1 0 24364539 26787840 6187 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 6540 6187 660 659 0 5744 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36092 KiB
Current children cumulated memory: 27400 KiB

[startup+6.30043 s]
/proc/loadavg: 4.09 4.18 4.20 5/249 226013
/proc/meminfo: memFree=125964404/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=29660 memory=28172 CPUtime=6.26 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 12852 0 0 0 624 2 0 0 20 0 1 0 24364539 30371840 7043 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 7415 7043 660 659 0 6619 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39592 KiB
Current children cumulated memory: 30824 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.19 4.21 5/249 226015
/proc/meminfo: memFree=125941576/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=35220 memory=33000 CPUtime=12.64 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 13965 0 0 0 1261 3 0 0 20 0 1 0 24364539 36065280 8250 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 8805 8250 660 659 0 8009 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 45152 KiB
Current children cumulated memory: 35652 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.20 4.21 5/249 226016
/proc/meminfo: memFree=125912496/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=41688 memory=39204 CPUtime=25.4 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 18179 0 0 0 2536 4 0 0 20 0 1 0 24364539 42688512 9801 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 10422 9801 660 659 0 9626 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 51620 KiB
Current children cumulated memory: 41856 KiB

[startup+51.1138 s]
/proc/loadavg: 4.21 4.20 4.21 5/249 226019
/proc/meminfo: memFree=125884580/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=47868 memory=45432 CPUtime=50.92 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 21064 0 0 0 5087 5 0 0 20 0 1 0 24364539 49016832 11358 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 11967 11358 660 659 0 11171 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 57800 KiB
Current children cumulated memory: 48084 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.21 4.21 5/247 226029
/proc/meminfo: memFree=125833808/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=57968 memory=55528 CPUtime=101.93 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 25467 0 0 0 10186 7 0 0 20 0 1 0 24364539 59359232 13882 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 14492 13882 660 659 0 13696 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 67900 KiB
Current children cumulated memory: 58180 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.17 4.19 5/246 226041
/proc/meminfo: memFree=125869168/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=56712 memory=54388 CPUtime=161.74 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 27374 0 0 0 16166 8 0 0 20 0 1 0 24364539 58073088 13597 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 14178 13597 660 659 0 13382 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 66644 KiB
Current children cumulated memory: 57040 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.19 5/246 226051
/proc/meminfo: memFree=125813196/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=56944 memory=54648 CPUtime=221.55 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 27441 0 0 0 22147 8 0 0 20 0 1 0 24364539 58310656 13662 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 14236 13662 660 659 0 13440 0
Current children cumulated CPU time: 221.55 s

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

/proc/loadavg: 4.08 4.10 4.10 5/246 227447
/proc/meminfo: memFree=124913584/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=160012 memory=157928 CPUtime=3092.25 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 62450 0 0 0 309184 41 0 0 20 0 1 0 24364539 163852288 39482 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 40003 39482 660 659 0 39207 0
Current children cumulated CPU time: 3092.25 s
Current children cumulated vsize: 169944 KiB
Current children cumulated memory: 160580 KiB

[startup+3162.3 s]
/proc/loadavg: 4.36 4.16 4.12 5/248 227841
/proc/meminfo: memFree=125005900/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=160012 memory=157960 CPUtime=3152.06 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 62500 0 0 0 315165 41 0 0 20 0 1 0 24364539 163852288 39490 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 40003 39490 660 659 0 39207 0
Current children cumulated CPU time: 3152.06 s
Current children cumulated vsize: 169944 KiB
Current children cumulated memory: 160612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.61 4.28 4.17 5/247 227851
/proc/meminfo: memFree=125011512/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=160012 memory=157960 CPUtime=3211.87 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 62549 0 0 0 321146 41 0 0 20 0 1 0 24364539 163852288 39490 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 40003 39490 660 659 0 39207 0
Current children cumulated CPU time: 3211.87 s
Current children cumulated vsize: 169944 KiB
Current children cumulated memory: 160612 KiB

[startup+3282.3 s]
/proc/loadavg: 4.34 4.26 4.17 5/248 227863
/proc/meminfo: memFree=124999780/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=160012 memory=157960 CPUtime=3271.67 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 62619 0 0 0 327126 41 0 0 20 0 1 0 24364539 163852288 39490 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 40003 39490 660 659 0 39207 0
Current children cumulated CPU time: 3271.67 s
Current children cumulated vsize: 169944 KiB
Current children cumulated memory: 160612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.24 4.17 5/250 228043
/proc/meminfo: memFree=125012760/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=160012 memory=157960 CPUtime=3331.49 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 62679 0 0 0 333108 41 0 0 20 0 1 0 24364539 163852288 39490 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 40003 39490 660 659 0 39207 0
Current children cumulated CPU time: 3331.49 s
Current children cumulated vsize: 169944 KiB
Current children cumulated memory: 160612 KiB

[startup+3402.3 s]
/proc/loadavg: 4.35 4.26 4.18 5/250 228054
/proc/meminfo: memFree=124966620/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=160012 memory=157960 CPUtime=3391.29 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 62742 0 0 0 339088 41 0 0 20 0 1 0 24364539 163852288 39490 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 40003 39490 660 659 0 39207 0
Current children cumulated CPU time: 3391.29 s
Current children cumulated vsize: 169944 KiB
Current children cumulated memory: 160612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.82 4.41 4.24 5/250 228066
/proc/meminfo: memFree=125039876/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=115640 memory=113588 CPUtime=3451.1 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 63157 0 0 0 345069 41 0 0 20 0 1 0 24364539 118415360 28397 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 28910 28397 660 659 0 28114 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 125572 KiB
Current children cumulated memory: 116240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.37 4.23 5/248 228087
/proc/meminfo: memFree=124901664/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=137748 memory=135696 CPUtime=3510.91 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 63635 0 0 0 351049 42 0 0 20 0 1 0 24364539 141053952 33924 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 34437 33924 660 659 0 33641 0
Current children cumulated CPU time: 3510.91 s
Current children cumulated vsize: 147680 KiB
Current children cumulated memory: 138348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.31 4.22 5/248 228099
/proc/meminfo: memFree=124952604/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=137748 memory=135696 CPUtime=3570.72 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 63683 0 0 0 357030 42 0 0 20 0 1 0 24364539 141053952 33924 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 34437 33924 660 659 0 33641 0
Current children cumulated CPU time: 3570.72 s
Current children cumulated vsize: 147680 KiB
Current children cumulated memory: 138348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.09 4.28 4.21 4/240 228133
/proc/meminfo: memFree=125514312/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=137748 memory=135696 CPUtime=3600.03 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 63702 0 0 0 359961 42 0 0 20 0 1 0 24364539 141053952 33924 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 34437 33924 660 659 0 33641 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 147680 KiB
Current children cumulated memory: 138348 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.63 s, system=0.424661 s

Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.7 s]
/proc/loadavg: 4.09 4.28 4.21 4/240 228133
/proc/meminfo: memFree=125514312/131655788 swapFree=131070192/131071996
[pid=225957] ppid=225954 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/225957/stat : 225957 (naps-1.03.sh) S 225954 225957 221807 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 24364539 10170368 663 134679101440 94885584642048 94885585721368 140723794563856 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94885587819824 94885587867012 94885601538048 140723794568164 140723794568289 140723794568289 140723794575304 0
/proc/225957/statm: 2483 663 586 264 0 134 0
[pid=225962] ppid=225957 vsize=137748 memory=135696 CPUtime=3600.03 cores=0,2
/proc/225962/stat : 225962 (naps-1.03) R 225957 225957 221807 0 -1 4194304 63702 0 0 0 359961 42 0 0 20 0 1 0 24364539 141053952 33924 134679101440 4194304 6891213 140725975408448 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 34471936 140725975409653 140725975409765 140725975409765 140725975416779 0
/proc/225962/statm: 34437 33924 660 659 0 33641 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 147680 KiB
Current children cumulated memory: 138348 KiB

Child status: 10

Real time (s): 3611.72
CPU time (s): 3600.06
CPU user time (s): 3599.63
CPU system time (s): 0.424661
CPU usage (%): 99.6771
Max. virtual memory (cumulated for all children) (KiB): 255676
Max. memory (cumulated for all children) (KiB): 230424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.424661
maximum resident set size= 243464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64184
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= 31
involuntary context switches= 25183


# summary of solver processes directly reported to runsolver:
#   pid: 225957
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.63
#   total CPU system time (s): 0.424661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8063 second user time and 37.2011 second system time

The end