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: 64059 MiB (41988 MiB free)
  memory of node 1: 64510 MiB (55371 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457915-1721872346/watcher-4457915-1721872346 -o /tmp/evaluation-result-4457915-1721872346/solver-4457915-1721872346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721865123-209574 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4457915-1721872346.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=213734, runsolver pid=213731

[startup+0.100555 s]*
/proc/loadavg: 4.21 4.24 4.17 5/247 213739
/proc/meminfo: memFree=99693848/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=8680 memory=3676 CPUtime=0.09 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 580 0 0 0 9 0 0 0 20 0 1 0 23223674 8888320 919 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 2170 919 421 379 0 1704 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18612 KiB
Current children cumulated memory: 6416 KiB

[startup+0.214555 s]*
/proc/loadavg: 4.21 4.24 4.17 5/247 213739
/proc/meminfo: memFree=99690488/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=11612 memory=6888 CPUtime=0.19 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 1374 0 0 0 19 0 0 0 20 0 1 0 23223674 11890688 1722 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 2903 1722 421 379 0 2437 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21544 KiB
Current children cumulated memory: 9628 KiB

[startup+0.313572 s]*
/proc/loadavg: 4.21 4.24 4.17 5/244 213753
/proc/meminfo: memFree=99904380/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=40836 memory=38112 CPUtime=0.29 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 9325 0 0 0 28 1 0 0 20 0 1 0 23223674 41816064 9528 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 10209 9528 421 379 0 9743 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50768 KiB
Current children cumulated memory: 40852 KiB

[startup+0.700385 s]
/proc/loadavg: 4.21 4.24 4.17 4/240 213770
/proc/meminfo: memFree=99877232/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=73816 memory=68016 CPUtime=0.66 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 17761 0 0 0 64 2 0 0 20 0 1 0 23223674 75587584 17004 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 18454 17004 421 379 0 17988 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 83748 KiB
Current children cumulated memory: 70756 KiB

[startup+1.50046 s]
/proc/loadavg: 4.21 4.24 4.17 5/247 213789
/proc/meminfo: memFree=99809140/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=145188 memory=135724 CPUtime=1.47 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 26067 0 0 0 141 6 0 0 20 0 1 0 23223674 148672512 33931 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 36297 33931 421 379 0 35831 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 155120 KiB
Current children cumulated memory: 138464 KiB

[startup+3.11448 s]
/proc/loadavg: 4.21 4.24 4.17 5/247 213789
/proc/meminfo: memFree=99644808/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=279920 memory=263444 CPUtime=3.07 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 35789 0 0 0 297 10 0 0 20 0 1 0 23223674 286638080 65861 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 69980 65861 421 379 0 69514 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 289852 KiB
Current children cumulated memory: 266184 KiB

[startup+6.30043 s]
/proc/loadavg: 4.19 4.24 4.17 5/247 213839
/proc/meminfo: memFree=99934832/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=279920 memory=264228 CPUtime=6.25 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 35995 0 0 0 614 11 0 0 20 0 1 0 23223674 286638080 66057 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 69980 66057 421 379 0 69514 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 289852 KiB
Current children cumulated memory: 266968 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.23 4.17 5/247 213841
/proc/meminfo: memFree=99912676/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=279920 memory=265048 CPUtime=12.63 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 36320 0 0 0 1252 11 0 0 20 0 1 0 23223674 286638080 66262 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 69980 66262 421 379 0 69514 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 289852 KiB
Current children cumulated memory: 267788 KiB

[startup+25.5005 s]
/proc/loadavg: 4.14 4.22 4.17 5/247 213842
/proc/meminfo: memFree=99872932/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=279920 memory=266464 CPUtime=25.39 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 36809 0 0 0 2527 12 0 0 20 0 1 0 23223674 286638080 66616 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 69980 66616 421 379 0 69514 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 289852 KiB
Current children cumulated memory: 269204 KiB

[startup+51.1136 s]
/proc/loadavg: 4.24 4.23 4.17 5/247 213847
/proc/meminfo: memFree=99787696/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=310380 memory=279000 CPUtime=50.92 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 37074 0 0 0 5080 12 0 0 20 0 1 0 23223674 317829120 69750 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 77595 69750 421 379 0 77129 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 320312 KiB
Current children cumulated memory: 281740 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.21 4.17 5/247 213855
/proc/meminfo: memFree=99772872/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=310380 memory=279468 CPUtime=101.99 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 39541 0 0 0 10179 20 0 0 20 0 1 0 23223674 317829120 69867 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 77595 69867 421 379 0 77129 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 320312 KiB
Current children cumulated memory: 282208 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/247 214249
/proc/meminfo: memFree=99724600/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=310380 memory=280284 CPUtime=161.83 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 43209 0 0 0 16152 31 0 0 20 0 1 0 23223674 317829120 70071 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 77595 70071 421 379 0 77129 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 320312 KiB
Current children cumulated memory: 283024 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.16 5/247 214259
/proc/meminfo: memFree=99610940/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=390520 memory=341808 CPUtime=221.67 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 49042 0 0 0 22126 41 0 0 20 0 1 0 23223674 399892480 85452 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 97630 85452 421 379 0 97164 0
Current children cumulated CPU time: 221.67 s

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

/proc/loadavg: 4.10 4.16 4.17 5/247 215560
/proc/meminfo: memFree=99261456/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=406320 memory=367292 CPUtime=3033.66 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 172741 0 0 0 303057 309 0 0 20 0 1 0 23223674 416071680 91823 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 101580 91823 421 379 0 101114 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 416252 KiB
Current children cumulated memory: 370032 KiB

[startup+3102.3 s]
/proc/loadavg: 4.27 4.19 4.18 5/247 215570
/proc/meminfo: memFree=99158856/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=406680 memory=373792 CPUtime=3093.48 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 174650 0 0 0 309035 313 0 0 20 0 1 0 23223674 416440320 93448 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 101670 93448 421 379 0 101204 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 416612 KiB
Current children cumulated memory: 376532 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/247 215580
/proc/meminfo: memFree=99314688/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=407044 memory=376204 CPUtime=3153.29 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 176544 0 0 0 315010 319 0 0 20 0 1 0 23223674 416813056 94051 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 101761 94051 421 379 0 101295 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 416976 KiB
Current children cumulated memory: 378944 KiB

[startup+3222.3 s]
/proc/loadavg: 4.64 4.31 4.22 5/245 215591
/proc/meminfo: memFree=99234076/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=407424 memory=374536 CPUtime=3213.11 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 178441 0 0 0 320987 324 0 0 20 0 1 0 23223674 417202176 93634 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 101856 93634 421 379 0 101390 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 417356 KiB
Current children cumulated memory: 377276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.64 4.38 4.25 5/245 215601
/proc/meminfo: memFree=99152104/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=407784 memory=374896 CPUtime=3272.91 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 180335 0 0 0 326962 329 0 0 20 0 1 0 23223674 417570816 93724 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 101946 93724 421 379 0 101480 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 417716 KiB
Current children cumulated memory: 377636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.34 4.25 5/245 215611
/proc/meminfo: memFree=99310380/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=408296 memory=383568 CPUtime=3332.72 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 182301 0 0 0 332937 335 0 0 20 0 1 0 23223674 418095104 95892 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 102074 95892 421 379 0 101608 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 386308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.31 4.24 5/245 215621
/proc/meminfo: memFree=99244240/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=408584 memory=383888 CPUtime=3392.55 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 184187 0 0 0 338915 340 0 0 20 0 1 0 23223674 418390016 95972 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 102146 95972 421 379 0 101680 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 418516 KiB
Current children cumulated memory: 386628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.27 4.23 5/247 215636
/proc/meminfo: memFree=99176328/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=408988 memory=372004 CPUtime=3452.39 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 186104 0 0 0 344894 345 0 0 20 0 1 0 23223674 418803712 93001 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 102247 93001 421 379 0 101781 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 418920 KiB
Current children cumulated memory: 374744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.23 4.22 5/248 215647
/proc/meminfo: memFree=99385664/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=378536 memory=363904 CPUtime=3512.21 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 187426 0 0 0 350872 349 0 0 20 0 1 0 23223674 387620864 90976 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 94634 90976 421 379 0 94168 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 388468 KiB
Current children cumulated memory: 366644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.23 4.22 5/248 215659
/proc/meminfo: memFree=99115972/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=329612 memory=318424 CPUtime=3572.03 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 189098 0 0 0 356850 353 0 0 20 0 1 0 23223674 337522688 79606 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 82403 79606 421 379 0 81937 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 339544 KiB
Current children cumulated memory: 321164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.19 4.23 4.22 4/240 215695
/proc/meminfo: memFree=99189444/131655788 swapFree=131062644/131071996
[pid=213734] ppid=213731 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/213734/stat : 213734 (naps-1.02b5.sh) S 213731 213734 209562 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 23223674 10170368 685 134679101440 94563595927552 94563597006872 140730720141664 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94563599105328 94563599152516 94563609509888 140730720146400 140730720146527 140730720146527 140730720153542 0
/proc/213734/statm: 2483 685 606 264 0 134 0
[pid=213739] ppid=213734 vsize=459840 memory=433524 CPUtime=3600.05 cores=1,3
/proc/213739/stat : 213739 (naps-1.02b5) R 213734 213734 209562 0 -1 4194304 190270 0 0 0 359649 356 0 0 20 0 1 0 23223674 470876160 108381 134679101440 4194304 5746509 140733607703808 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 25456640 140733607707631 140733607707745 140733607707745 140733607714761 0
/proc/213739/statm: 114960 108381 421 379 0 114494 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 469772 KiB
Current children cumulated memory: 436264 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.5 s, system=3.56804 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): 3610.4
CPU time (s): 3600.07
CPU user time (s): 3596.5
CPU system time (s): 3.56804
CPU usage (%): 99.7137
Max. virtual memory (cumulated for all children) (KiB): 551160
Max. memory (cumulated for all children) (KiB): 509600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.5
system time used= 3.56804
maximum resident set size= 506860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190750
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= 106
involuntary context switches= 4576


# summary of solver processes directly reported to runsolver:
#   pid: 213734
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3596.5
#   total CPU system time (s): 3.56804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4463 second user time and 37.1421 second system time

The end