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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435347-1721166255/watcher-4435347-1721166255 -o /tmp/evaluation-result-4435347-1721166255/solver-4435347-1721166255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721162656-876473 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435347-1721166255.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
solver pid=879114, runsolver pid=879111
Current StackSize limit: 8192 KiB


[startup+0.10078 s]*
/proc/loadavg: 4.10 4.13 4.10 5/261 879119
/proc/meminfo: memFree=124417312/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=12024 memory=7232 CPUtime=0.09 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 1457 0 0 0 9 0 0 0 20 0 1 0 168796076 12312576 1808 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 3006 1808 421 379 0 2540 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21956 KiB
Current children cumulated memory: 10052 KiB

[startup+0.205783 s]*
/proc/loadavg: 4.10 4.13 4.10 5/261 879119
/proc/meminfo: memFree=124394184/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=25696 memory=24284 CPUtime=0.18 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 4900 0 0 0 18 0 0 0 20 0 1 0 168796076 26312704 6071 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 6424 6071 421 379 0 5958 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35628 KiB
Current children cumulated memory: 27104 KiB

[startup+0.306016 s]*
/proc/loadavg: 4.10 4.13 4.10 5/261 879119
/proc/meminfo: memFree=124351724/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=66968 memory=65764 CPUtime=0.29 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 7364 0 0 0 28 1 0 0 20 0 1 0 168796076 68575232 16441 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 16742 16441 421 379 0 16276 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76900 KiB
Current children cumulated memory: 68584 KiB

[startup+0.700264 s]
/proc/loadavg: 4.10 4.13 4.10 5/261 879119
/proc/meminfo: memFree=124270972/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=249008 memory=223504 CPUtime=0.67 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 40229 0 0 0 60 7 0 0 20 0 1 0 168796076 254984192 55876 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 62252 55876 421 379 0 61786 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 258940 KiB
Current children cumulated memory: 226324 KiB

[startup+1.50026 s]
/proc/loadavg: 4.10 4.13 4.10 5/261 879119
/proc/meminfo: memFree=124063020/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=499424 memory=464852 CPUtime=1.48 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 66883 0 0 0 134 14 0 0 20 0 1 0 168796076 511410176 116213 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 124856 116213 421 379 0 124390 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 509356 KiB
Current children cumulated memory: 467672 KiB

[startup+3.10601 s]
/proc/loadavg: 4.09 4.13 4.10 5/261 879120
/proc/meminfo: memFree=123834032/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=604860 memory=550888 CPUtime=3.07 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 76027 0 0 0 289 18 0 0 20 0 1 0 168796076 619376640 137722 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 151215 137722 421 379 0 150749 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 614792 KiB
Current children cumulated memory: 553708 KiB

[startup+6.30025 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 879121
/proc/meminfo: memFree=123606696/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=884568 memory=794376 CPUtime=6.26 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 97219 0 0 0 600 26 0 0 20 0 1 0 168796076 905797632 198594 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 221142 198594 421 379 0 220676 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 894500 KiB
Current children cumulated memory: 797196 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.12 4.10 5/262 879121
/proc/meminfo: memFree=123544036/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=908312 memory=820780 CPUtime=12.65 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 103770 0 0 0 1235 30 0 0 20 0 1 0 168796076 930111488 205195 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 227078 205195 421 379 0 226612 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 918244 KiB
Current children cumulated memory: 823600 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.12 4.10 5/261 879124
/proc/meminfo: memFree=123499608/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=909796 memory=828256 CPUtime=25.41 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 104305 0 0 0 2511 30 0 0 20 0 1 0 168796076 931631104 207064 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 227449 207064 421 379 0 226983 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 919728 KiB
Current children cumulated memory: 831076 KiB

[startup+51.1061 s]
/proc/loadavg: 4.10 4.12 4.10 5/262 879128
/proc/meminfo: memFree=123457060/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=990632 memory=837416 CPUtime=50.96 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 104721 0 0 0 5065 31 0 0 20 0 1 0 168796076 1014407168 209354 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 247658 209354 421 379 0 247192 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1000564 KiB
Current children cumulated memory: 840236 KiB

[startup+102.3 s]
/proc/loadavg: 4.50 4.23 4.13 5/260 879137
/proc/meminfo: memFree=123389196/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=912788 memory=841656 CPUtime=102.02 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 105937 0 0 0 10169 33 0 0 20 0 1 0 168796076 934694912 210414 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 228197 210414 421 379 0 227731 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 922720 KiB
Current children cumulated memory: 844476 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.20 4.13 5/260 879197
/proc/meminfo: memFree=123360252/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=914636 memory=845544 CPUtime=161.86 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 106976 0 0 0 16152 34 0 0 20 0 1 0 168796076 936587264 211386 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 228659 211386 421 379 0 228193 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 924568 KiB
Current children cumulated memory: 848364 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/260 879208
/proc/meminfo: memFree=123094688/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1158436 memory=1007512 CPUtime=221.71 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 122329 0 0 0 22130 41 0 0 20 0 1 0 168796076 1186238464 251878 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 289609 251878 421 379 0 289143 0
Current children cumulated CPU time: 221.71 s

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

/proc/879119/statm: 325106 279749 421 379 0 324640 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 1310356 KiB
Current children cumulated memory: 1121816 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/260 881454
/proc/meminfo: memFree=111671664/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1219356 memory=1067340 CPUtime=3154.19 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 172103 0 0 0 315297 122 0 0 20 0 1 0 168796076 1248620544 266835 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 304839 266835 421 379 0 304373 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 1229288 KiB
Current children cumulated memory: 1070160 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/260 881466
/proc/meminfo: memFree=111718952/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1220060 memory=1084336 CPUtime=3214.05 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 172579 0 0 0 321282 123 0 0 20 0 1 0 168796076 1249341440 271084 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 305015 271084 421 379 0 304549 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 1229992 KiB
Current children cumulated memory: 1087156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/260 881477
/proc/meminfo: memFree=111638496/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1220272 memory=1102888 CPUtime=3273.89 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 172954 0 0 0 327266 123 0 0 20 0 1 0 168796076 1249558528 275722 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 305068 275722 421 379 0 304602 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 1230204 KiB
Current children cumulated memory: 1105708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/260 881487
/proc/meminfo: memFree=111702992/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1302260 memory=1118396 CPUtime=3333.74 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 173721 0 0 0 333251 123 0 0 20 0 1 0 168796076 1333514240 279599 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 325565 279599 421 379 0 325099 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 1312192 KiB
Current children cumulated memory: 1121216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/261 881502
/proc/meminfo: memFree=111679052/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1171732 memory=1062264 CPUtime=3393.59 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 174833 0 0 0 339233 126 0 0 20 0 1 0 168796076 1199853568 265566 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 292933 265566 421 379 0 292467 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 1181664 KiB
Current children cumulated memory: 1065084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.11 5/262 881513
/proc/meminfo: memFree=111645620/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1221820 memory=1081688 CPUtime=3453.44 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 175376 0 0 0 345218 126 0 0 20 0 1 0 168796076 1251143680 270422 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 305455 270422 421 379 0 304989 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 1231752 KiB
Current children cumulated memory: 1084508 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/262 881524
/proc/meminfo: memFree=111969032/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1222532 memory=1100504 CPUtime=3513.3 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 175871 0 0 0 351203 127 0 0 20 0 1 0 168796076 1251872768 275126 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 305633 275126 421 379 0 305167 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 1232464 KiB
Current children cumulated memory: 1103324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/262 881535
/proc/meminfo: memFree=111994732/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1222532 memory=1068056 CPUtime=3573.14 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 177095 0 0 0 357185 129 0 0 20 0 1 0 168796076 1251872768 267014 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 305633 267014 421 379 0 305167 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 1232464 KiB
Current children cumulated memory: 1070876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/261 881540
/proc/meminfo: memFree=111985544/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1222532 memory=1076248 CPUtime=3600.07 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 177224 0 0 0 359878 129 0 0 20 0 1 0 168796076 1251872768 269062 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 305633 269062 421 379 0 305167 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1232464 KiB
Current children cumulated memory: 1079068 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001214 s, system=0.001563 s

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

# cumulated CPU time of all completed processes:  user=3598.79 s, system=1.30723 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/261 881540
/proc/meminfo: memFree=111985544/131524596 swapFree=131071996/131071996
[pid=879114] ppid=879111 vsize=9932 memory=2820 CPUtime=0 cores=1,3
/proc/879114/stat : 879114 (naps-1.02b5.sh) S 879111 879114 876461 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 168796076 10170368 705 134679101440 94612149002240 94612150081560 140727928428640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94612152180016 94612152227204 94612168331264 140727928435680 140727928435807 140727928435807 140727928442822 0
/proc/879114/statm: 2483 705 630 264 0 134 0
[pid=879119] ppid=879114 vsize=1222532 memory=1076248 CPUtime=3600.07 cores=1,3
/proc/879119/stat : 879119 (naps-1.02b5) R 879114 879114 876461 0 -1 4194304 177224 0 0 0 359878 129 0 0 20 0 1 0 168796076 1251872768 269062 134679101440 4194304 5746509 140730985046240 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 17391616 140730985051119 140730985051233 140730985051233 140730985058249 0
/proc/879119/statm: 305633 269062 421 379 0 305167 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1232464 KiB
Current children cumulated memory: 1079068 KiB

Child status: 10

Real time (s): 3609.31
CPU time (s): 3600.1
CPU user time (s): 3598.79
CPU system time (s): 1.30723
CPU usage (%): 99.7449
Max. virtual memory (cumulated for all children) (KiB): 1393280
Max. memory (cumulated for all children) (KiB): 1207904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.79
system time used= 1.30723
maximum resident set size= 1205084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177688
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= 175
involuntary context switches= 3571


# summary of solver processes directly reported to runsolver:
#   pid: 879114,879119
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.79
#   total CPU system time (s): 1.30723

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08268 second user time and 18.7319 second system time

The end