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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450781-1721416326/watcher-4450781-1721416326 -o /tmp/evaluation-result-4450781-1721416326/solver-4450781-1721416326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721412725-1034528 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4450781-1721416326.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
Current StackSize limit: 8192 KiB

solver pid=1036636, runsolver pid=1036633

[startup+0.100921 s]*
/proc/loadavg: 4.08 4.13 4.09 5/248 1036641
/proc/meminfo: memFree=124171216/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=8308 memory=3448 CPUtime=0.1 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 528 0 0 0 10 0 0 0 20 0 1 0 193788704 8507392 862 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 2113 862 405 379 0 1647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18240 KiB
Current children cumulated memory: 6184 KiB

[startup+0.214067 s]*
/proc/loadavg: 4.08 4.13 4.09 5/248 1036641
/proc/meminfo: memFree=124166780/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=11712 memory=6848 CPUtime=0.21 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 1429 0 0 0 21 0 0 0 20 0 1 0 193788704 11993088 1712 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 2928 1712 421 379 0 2462 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21644 KiB
Current children cumulated memory: 9584 KiB

[startup+0.313676 s]*
/proc/loadavg: 4.08 4.13 4.09 5/248 1036641
/proc/meminfo: memFree=124157888/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=18620 memory=15032 CPUtime=0.31 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 2987 0 0 0 31 0 0 0 20 0 1 0 193788704 19066880 3758 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 4655 3758 421 379 0 4189 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28552 KiB
Current children cumulated memory: 17768 KiB

[startup+0.700388 s]
/proc/loadavg: 4.07 4.13 4.09 5/248 1036641
/proc/meminfo: memFree=124157048/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=18884 memory=15560 CPUtime=0.68 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 3065 0 0 0 68 0 0 0 20 0 1 0 193788704 19337216 3890 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 4721 3890 421 379 0 4255 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 18296 KiB

[startup+1.50039 s]
/proc/loadavg: 4.07 4.13 4.09 5/248 1036641
/proc/meminfo: memFree=124147876/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=17784 memory=15548 CPUtime=1.47 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 3763 0 0 0 147 0 0 0 20 0 1 0 193788704 18210816 3887 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 4446 3887 421 379 0 3980 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 18284 KiB

[startup+3.11371 s]
/proc/loadavg: 4.07 4.13 4.09 5/248 1036641
/proc/meminfo: memFree=124136180/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=22692 memory=19628 CPUtime=3.09 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 5563 0 0 0 308 1 0 0 20 0 1 0 193788704 23236608 4907 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 5673 4907 421 379 0 5207 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32624 KiB
Current children cumulated memory: 22364 KiB

[startup+6.30039 s]
/proc/loadavg: 4.07 4.12 4.09 5/248 1036641
/proc/meminfo: memFree=124123676/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=28092 memory=26156 CPUtime=6.26 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 6676 0 0 0 625 1 0 0 20 0 1 0 193788704 28766208 6539 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 7023 6539 421 379 0 6557 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 28892 KiB

[startup+12.7004 s]
/proc/loadavg: 4.06 4.12 4.09 5/248 1036642
/proc/meminfo: memFree=124116664/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=25372 memory=19876 CPUtime=12.64 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 7221 0 0 0 1262 2 0 0 20 0 1 0 193788704 25980928 4969 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 6343 4969 421 379 0 5877 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 35304 KiB
Current children cumulated memory: 22612 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.12 4.09 5/248 1036645
/proc/meminfo: memFree=124082324/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=36972 memory=33504 CPUtime=25.39 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 8077 0 0 0 2537 2 0 0 20 0 1 0 193788704 37859328 8376 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 9243 8376 421 379 0 8777 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 46904 KiB
Current children cumulated memory: 36240 KiB

[startup+51.114 s]
/proc/loadavg: 4.09 4.12 4.09 5/248 1036649
/proc/meminfo: memFree=124024324/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=55648 memory=53908 CPUtime=50.9 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 9066 0 0 0 5087 3 0 0 20 0 1 0 193788704 56983552 13477 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 13912 13477 421 379 0 13446 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 65580 KiB
Current children cumulated memory: 56644 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/248 1036658
/proc/meminfo: memFree=123941588/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=74504 memory=72676 CPUtime=101.89 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 10047 0 0 0 10185 4 0 0 20 0 1 0 193788704 76292096 18169 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 18626 18169 421 379 0 18160 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 75412 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/248 1036669
/proc/meminfo: memFree=123791448/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=87608 memory=85624 CPUtime=161.69 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 11283 0 0 0 16164 5 0 0 20 0 1 0 193788704 89710592 21406 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 21902 21406 421 379 0 21436 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 97540 KiB
Current children cumulated memory: 88360 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/245 1036680
/proc/meminfo: memFree=123782264/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=136928 memory=118460 CPUtime=221.48 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 13298 0 0 0 22140 8 0 0 20 0 1 0 193788704 140214272 29615 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 34232 29615 421 379 0 33766 0
Current children cumulated CPU time: 221.48 s

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

/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 37034 0 0 0 123756 47 0 0 20 0 1 0 193788704 140214272 32157 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 34232 32157 421 379 0 33766 0
Current children cumulated CPU time: 1238.03 s
Current children cumulated vsize: 146860 KiB
Current children cumulated memory: 131364 KiB

[startup+1302.3 s]
/proc/loadavg: 4.15 4.27 4.17 5/248 1037533
/proc/meminfo: memFree=123702792/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=87608 memory=85984 CPUtime=1297.82 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 37974 0 0 0 129734 48 0 0 20 0 1 0 193788704 89710592 21496 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 21902 21496 421 379 0 21436 0
Current children cumulated CPU time: 1297.82 s
Current children cumulated vsize: 97540 KiB
Current children cumulated memory: 88720 KiB

[startup+1362.3 s]
/proc/loadavg: 4.10 4.23 4.16 5/248 1037544
/proc/meminfo: memFree=123664988/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=217836 memory=173056 CPUtime=1357.62 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 39392 0 0 0 135711 51 0 0 20 0 1 0 193788704 223064064 43264 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 54459 43264 421 379 0 53993 0
Current children cumulated CPU time: 1357.62 s
Current children cumulated vsize: 227768 KiB
Current children cumulated memory: 175792 KiB

[startup+1422.3 s]
/proc/loadavg: 4.17 4.23 4.17 5/246 1037555
/proc/meminfo: memFree=123598388/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=159672 CPUtime=1417.41 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 40516 0 0 0 141688 53 0 0 20 0 1 0 193788704 171773952 39918 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 39918 421 379 0 41471 0
Current children cumulated CPU time: 1417.41 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 162408 KiB

[startup+1482.3 s]
/proc/loadavg: 4.12 4.20 4.16 5/245 1037565
/proc/meminfo: memFree=123677532/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=141240 CPUtime=1477.21 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 41953 0 0 0 147666 55 0 0 20 0 1 0 193788704 171773952 35310 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 35310 421 379 0 41471 0
Current children cumulated CPU time: 1477.21 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 143976 KiB

[startup+1498.1 s]
# the end of solver process 1036636 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1492.4 s, system=0.560131 s

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

[startup+1484.8 s]
/proc/loadavg: 4.12 4.20 4.16 5/245 1037565
/proc/meminfo: memFree=123672036/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=143288 CPUtime=1479.7 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 41954 0 0 0 147915 55 0 0 20 0 1 0 193788704 171773952 35822 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 35822 421 379 0 41471 0
Current children cumulated CPU time: 1479.7 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 146024 KiB

[startup+1491.2 s]
/proc/loadavg: 4.10 4.20 4.16 5/245 1037566
/proc/meminfo: memFree=123649540/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=149432 CPUtime=1486.08 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 41957 0 0 0 148553 55 0 0 20 0 1 0 193788704 171773952 37358 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 37358 421 379 0 41471 0
Current children cumulated CPU time: 1486.08 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 152168 KiB

[startup+1494.4 s]
/proc/loadavg: 4.10 4.20 4.16 5/245 1037566
/proc/meminfo: memFree=123610572/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=151480 CPUtime=1489.26 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 41958 0 0 0 148871 55 0 0 20 0 1 0 193788704 171773952 37870 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 37870 421 379 0 41471 0
Current children cumulated CPU time: 1489.26 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 154216 KiB

[startup+1496 s]*
/proc/loadavg: 4.09 4.19 4.16 5/245 1037566
/proc/meminfo: memFree=123602380/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=153528 CPUtime=1490.87 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 41959 0 0 0 149032 55 0 0 20 0 1 0 193788704 171773952 38382 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 38382 421 379 0 41471 0
Current children cumulated CPU time: 1490.87 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 156264 KiB

[startup+1496.8 s]
/proc/loadavg: 4.09 4.19 4.16 5/245 1037566
/proc/meminfo: memFree=123602380/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=155576 CPUtime=1491.66 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 41960 0 0 0 149111 55 0 0 20 0 1 0 193788704 171773952 38894 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 38894 421 379 0 41471 0
Current children cumulated CPU time: 1491.66 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 158312 KiB

[startup+1497.6 s]
/proc/loadavg: 4.09 4.19 4.16 5/245 1037566
/proc/meminfo: memFree=123596236/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=155576 CPUtime=1492.45 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 41960 0 0 0 149190 55 0 0 20 0 1 0 193788704 171773952 38894 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 38894 421 379 0 41471 0
Current children cumulated CPU time: 1492.45 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 158312 KiB

[startup+1498 s]*
/proc/loadavg: 4.09 4.19 4.16 5/245 1037568
/proc/meminfo: memFree=123594188/131655788 swapFree=131071996/131071996
[pid=1036636] ppid=1036633 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/1036636/stat : 1036636 (naps-1.02b5.sh) S 1036633 1036636 1034518 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 193788703 10170368 684 134679101440 94290132537344 94290133616664 140734918130976 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94290135715120 94290135762308 94290140876800 140734918132702 140734918132829 140734918132829 140734918139846 0
/proc/1036636/statm: 2483 684 605 264 0 134 0
[pid=1036641] ppid=1036636 vsize=167748 memory=155576 CPUtime=1492.86 cores=0,2
/proc/1036641/stat : 1036641 (naps-1.02b5) R 1036636 1036636 1034518 0 -1 4194304 41960 0 0 0 149231 55 0 0 20 0 1 0 193788704 171773952 38894 134679101440 4194304 5746509 140728307103600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 7118848 140728307106797 140728307106911 140728307106911 140728307113929 0
/proc/1036641/statm: 41937 38894 421 379 0 41471 0
Current children cumulated CPU time: 1492.86 s
Current children cumulated vsize: 177680 KiB
Current children cumulated memory: 158312 KiB

Child status: 20

Real time (s): 1498.1
CPU time (s): 1492.96
CPU user time (s): 1492.4
CPU system time (s): 0.560131
CPU usage (%): 99.6571
Max. virtual memory (cumulated for all children) (KiB): 227768
Max. memory (cumulated for all children) (KiB): 188316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1492.4
system time used= 0.560131
maximum resident set size= 185580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42440
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= 34
involuntary context switches= 10450


# summary of solver processes directly reported to runsolver:
#   pid: 1036636
#   total CPU time (s): 1492.96
#   total CPU user time (s): 1492.4
#   total CPU system time (s): 0.560131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85422 second user time and 16.5831 second system time

The end