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: 63665 MiB (25405 MiB free)
  memory of node 1: 64507 MiB (33171 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525628-1751623542/watcher-4525628-1751623542 -o /tmp/evaluation-result-4525628-1751623542/solver-4525628-1751623542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86498 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525628-1751623542.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=87815, runsolver pid=87812

[startup+0.100066 s]*
/proc/loadavg: 4.07 4.09 4.09 5/269 87819
/proc/meminfo: memFree=59968832/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=13904 memory=11832 CPUtime=0.08 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 2842 0 0 0 8 0 0 0 20 0 1 0 78033022 14237696 2958 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 3476 2958 544 696 0 2637 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18096 KiB
Current children cumulated memory: 14776 KiB

[startup+0.205584 s]*
/proc/loadavg: 4.07 4.09 4.09 5/269 87819
/proc/meminfo: memFree=59937016/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=24496 memory=21780 CPUtime=0.18 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 5724 0 0 0 18 0 0 0 20 0 1 0 78033022 25083904 5445 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 6124 5445 544 696 0 5285 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28688 KiB
Current children cumulated memory: 24724 KiB

[startup+0.305553 s]*
/proc/loadavg: 4.07 4.09 4.09 5/269 87819
/proc/meminfo: memFree=59920824/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=35916 memory=33556 CPUtime=0.29 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 8659 0 0 0 28 1 0 0 20 0 1 0 78033022 36777984 8389 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 8979 8389 544 696 0 8140 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 36500 KiB

[startup+0.70022 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 87819
/proc/meminfo: memFree=59864248/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=63484 memory=60948 CPUtime=0.67 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 15468 0 0 0 65 2 0 0 20 0 1 0 78033022 65007616 15237 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 15871 15237 576 696 0 15032 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 67676 KiB
Current children cumulated memory: 63892 KiB

[startup+1.50022 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 87819
/proc/meminfo: memFree=59779128/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=63484 memory=60948 CPUtime=1.47 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 15468 0 0 0 145 2 0 0 20 0 1 0 78033022 65007616 15237 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 15871 15237 576 696 0 15032 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 67676 KiB
Current children cumulated memory: 63892 KiB

[startup+3.10538 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 87819
/proc/meminfo: memFree=59391228/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=63484 memory=60948 CPUtime=3.07 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 15468 0 0 0 305 2 0 0 20 0 1 0 78033022 65007616 15237 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 15871 15237 576 696 0 15032 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 67676 KiB
Current children cumulated memory: 63892 KiB

[startup+6.3002 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 87819
/proc/meminfo: memFree=58120296/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=626248 memory=600216 CPUtime=6.26 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 69267 0 0 0 606 20 0 0 20 0 1 0 78033022 641277952 150054 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 156562 150054 576 696 0 155723 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 630440 KiB
Current children cumulated memory: 603160 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 87820
/proc/meminfo: memFree=51960308/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=962824 memory=926912 CPUtime=12.64 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 109128 0 0 0 1236 28 0 0 20 0 1 0 78033022 985931776 231728 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 240706 231728 608 696 0 239867 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 967016 KiB
Current children cumulated memory: 929856 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.09 5/270 87820
/proc/meminfo: memFree=48964540/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=962824 memory=926912 CPUtime=25.41 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 109128 0 0 0 2513 28 0 0 20 0 1 0 78033022 985931776 231728 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 240706 231728 608 696 0 239867 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 967016 KiB
Current children cumulated memory: 929856 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 87821
/proc/meminfo: memFree=46689796/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=962824 memory=926912 CPUtime=50.95 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 109133 0 0 0 5067 28 0 0 20 0 1 0 78033022 985931776 231728 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 240706 231728 608 696 0 239867 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 967016 KiB
Current children cumulated memory: 929856 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.10 4.10 5/269 87822
/proc/meminfo: memFree=41641356/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=962824 memory=926912 CPUtime=102.01 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 109138 0 0 0 10172 29 0 0 20 0 1 0 78033022 985931776 231728 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 240706 231728 608 696 0 239867 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 967016 KiB
Current children cumulated memory: 929856 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/269 87825
/proc/meminfo: memFree=39516512/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=3095784 memory=2880704 CPUtime=161.81 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 231255 0 0 0 16090 91 0 0 20 0 1 0 78033022 3170082816 720176 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 773946 720176 608 696 0 773107 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 3099976 KiB
Current children cumulated memory: 2883648 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/268 87828
/proc/meminfo: memFree=36192028/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2614336 memory=2220716 CPUtime=221.65 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 262311 0 0 0 21941 224 0 0 20 0 1 0 78033022 2677080064 555179 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 653584 555179 640 696 0 652745 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2618528 KiB

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

/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 313447 0 0 0 51630 449 0 0 20 0 1 0 78033022 2701746176 618011 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 659606 618011 640 696 0 658767 0
Current children cumulated CPU time: 520.79 s
Current children cumulated vsize: 2642616 KiB
Current children cumulated memory: 2474988 KiB

[startup+582.3 s]
/proc/loadavg: 4.37 4.21 4.13 5/270 87906
/proc/meminfo: memFree=46809156/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2965772 memory=2506876 CPUtime=580.62 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 323825 0 0 0 57569 493 0 0 20 0 1 0 78033022 3036950528 626719 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 741443 626719 640 696 0 740604 0
Current children cumulated CPU time: 580.62 s
Current children cumulated vsize: 2969964 KiB
Current children cumulated memory: 2509820 KiB

[startup+642.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/270 87908
/proc/meminfo: memFree=46088848/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2672284 memory=2505868 CPUtime=640.44 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 328027 0 0 0 63527 517 0 0 20 0 1 0 78033022 2736418816 626467 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 668071 626467 640 696 0 667232 0
Current children cumulated CPU time: 640.44 s
Current children cumulated vsize: 2676476 KiB
Current children cumulated memory: 2508812 KiB

[startup+702.3 s]
/proc/loadavg: 4.22 4.19 4.13 5/272 87967
/proc/meminfo: memFree=73692124/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2966212 memory=2506908 CPUtime=700.25 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 339506 0 0 0 69463 562 0 0 20 0 1 0 78033022 3037401088 626727 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 741553 626727 640 696 0 740714 0
Current children cumulated CPU time: 700.25 s
Current children cumulated vsize: 2970404 KiB
Current children cumulated memory: 2509852 KiB

[startup+762.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/272 87969
/proc/meminfo: memFree=69860944/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2671208 memory=2505192 CPUtime=760.04 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 341825 0 0 0 75432 572 0 0 20 0 1 0 78033022 2735316992 626298 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 667802 626298 640 696 0 666963 0
Current children cumulated CPU time: 760.04 s
Current children cumulated vsize: 2675400 KiB
Current children cumulated memory: 2508136 KiB

[startup+822.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/271 87973
/proc/meminfo: memFree=69349700/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2961152 memory=2520536 CPUtime=819.84 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 346818 0 0 0 81381 603 0 0 20 0 1 0 78033022 3032219648 630134 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 740288 630134 640 696 0 739449 0
Current children cumulated CPU time: 819.84 s
Current children cumulated vsize: 2965344 KiB
Current children cumulated memory: 2523480 KiB

[startup+828.749 s]
# the end of solver process 87815 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=820.215 s, system=6.07017 s

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

[startup+825.6 s]
/proc/loadavg: 4.17 4.18 4.13 5/271 87973
/proc/meminfo: memFree=68981060/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2961152 memory=2520536 CPUtime=823.13 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 346818 0 0 0 81710 603 0 0 20 0 1 0 78033022 3032219648 630134 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 740288 630134 640 696 0 739449 0
Current children cumulated CPU time: 823.13 s
Current children cumulated vsize: 2965344 KiB
Current children cumulated memory: 2523480 KiB

[startup+827.2 s]
/proc/loadavg: 4.15 4.18 4.13 5/271 87973
/proc/meminfo: memFree=68376132/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2961152 memory=2520536 CPUtime=824.73 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 346818 0 0 0 81870 603 0 0 20 0 1 0 78033022 3032219648 630134 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 740288 630134 640 696 0 739449 0
Current children cumulated CPU time: 824.73 s
Current children cumulated vsize: 2965344 KiB
Current children cumulated memory: 2523480 KiB

[startup+828 s]*
/proc/loadavg: 4.15 4.18 4.13 5/271 87973
/proc/meminfo: memFree=68180032/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2961152 memory=2520536 CPUtime=825.53 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 346827 0 0 0 81950 603 0 0 20 0 1 0 78033022 3032219648 630134 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 740288 630134 640 696 0 739449 0
Current children cumulated CPU time: 825.53 s
Current children cumulated vsize: 2965344 KiB
Current children cumulated memory: 2523480 KiB

[startup+828.4 s]
/proc/loadavg: 4.15 4.18 4.13 5/271 87973
/proc/meminfo: memFree=68180032/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2961152 memory=2520536 CPUtime=825.92 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 346993 0 0 0 81989 603 0 0 20 0 1 0 78033022 3032219648 630134 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 740288 630134 640 696 0 739449 0
Current children cumulated CPU time: 825.92 s
Current children cumulated vsize: 2965344 KiB
Current children cumulated memory: 2523480 KiB

[startup+828.6 s]
/proc/loadavg: 4.15 4.18 4.13 5/271 87973
/proc/meminfo: memFree=68180032/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2961152 memory=2520536 CPUtime=826.12 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 347063 0 0 0 82009 603 0 0 20 0 1 0 78033022 3032219648 630134 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 740288 630134 640 696 0 739449 0
Current children cumulated CPU time: 826.12 s
Current children cumulated vsize: 2965344 KiB
Current children cumulated memory: 2523480 KiB

[startup+828.7 s]
/proc/loadavg: 4.15 4.18 4.13 5/271 87973
/proc/meminfo: memFree=68180032/131249988 swapFree=33010160/33010684
[pid=87815] ppid=87812 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87815/stat : 87815 (naps-1.03a6.sh) S 87812 87815 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78033021 4292608 736 18446744073709551615 93838074245120 93838075139653 140725721211072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93838075378704 93838075426448 93838095204352 140725721217445 140725721217539 140725721217539 140725721223143 0
/proc/87815/statm: 1048 736 672 219 0 110 0
[pid=87819] ppid=87815 vsize=2961152 memory=2520536 CPUtime=826.22 cores=5,7
/proc/87819/stat : 87819 (naps-1.03a6) R 87815 87815 86480 0 -1 4194304 347092 0 0 0 82019 603 0 0 20 0 1 0 78033022 3032219648 630134 18446744073709551615 4198400 7047149 140732616110256 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18735104 140732616112498 140732616112612 140732616112612 140732616118217 0
/proc/87819/statm: 740288 630134 640 696 0 739449 0
Current children cumulated CPU time: 826.22 s
Current children cumulated vsize: 2965344 KiB
Current children cumulated memory: 2523480 KiB

Child status: 30

Real time (s): 828.749
CPU time (s): 826.285
CPU user time (s): 820.215
CPU system time (s): 6.07017
CPU usage (%): 99.7026
Max. virtual memory (cumulated for all children) (KiB): 4157908
Max. memory (cumulated for all children) (KiB): 3715656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 820.215
system time used= 6.07017
maximum resident set size= 3712712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347539
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= 172
involuntary context switches= 735


# summary of solver processes directly reported to runsolver:
#   pid: 87815
#   total CPU time (s): 826.285
#   total CPU user time (s): 820.215
#   total CPU system time (s): 6.07017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65263 second user time and 4.0005 second system time

The end