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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427213-1720906914/watcher-4427213-1720906914 -o /tmp/evaluation-result-4427213-1720906914/solver-4427213-1720906914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1720905498-731378 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427213-1720906914.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=733239, runsolver pid=733236

[startup+0.100091 s]*
/proc/loadavg: 4.34 4.17 3.72 5/263 733244
/proc/meminfo: memFree=101051488/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=14068 memory=9088 CPUtime=0.09 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 2000 0 0 0 9 0 0 0 20 0 1 0 142856714 14405632 2272 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 3517 2272 405 379 0 3051 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24000 KiB
Current children cumulated memory: 11724 KiB

[startup+0.205681 s]*
/proc/loadavg: 4.34 4.17 3.72 5/263 733244
/proc/meminfo: memFree=101042692/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=20804 memory=17912 CPUtime=0.19 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 3759 0 0 0 19 0 0 0 20 0 1 0 142856714 21303296 4478 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 5201 4478 405 379 0 4735 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30736 KiB
Current children cumulated memory: 20548 KiB

[startup+0.305731 s]*
/proc/loadavg: 4.34 4.17 3.72 5/263 733244
/proc/meminfo: memFree=101034120/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=27912 memory=24516 CPUtime=0.3 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 5589 0 0 0 29 1 0 0 20 0 1 0 142856714 28581888 6129 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 6978 6129 405 379 0 6512 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37844 KiB
Current children cumulated memory: 27152 KiB

[startup+0.700217 s]
/proc/loadavg: 4.34 4.17 3.72 5/263 733245
/proc/meminfo: memFree=101018492/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=53852 memory=49520 CPUtime=0.69 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 12196 0 0 0 67 2 0 0 20 0 1 0 142856714 55144448 12380 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 13463 12380 405 379 0 12997 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63784 KiB
Current children cumulated memory: 52156 KiB

[startup+1.50023 s]
/proc/loadavg: 4.34 4.17 3.72 5/263 733245
/proc/meminfo: memFree=100986260/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=111876 memory=104844 CPUtime=1.49 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 25310 0 0 0 145 4 0 0 20 0 1 0 142856714 114561024 26211 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 27969 26211 405 379 0 27503 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121808 KiB
Current children cumulated memory: 107480 KiB

[startup+3.10556 s]
/proc/loadavg: 4.34 4.17 3.72 5/263 733245
/proc/meminfo: memFree=100785232/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=270276 memory=263152 CPUtime=3.08 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 60653 0 0 0 300 8 0 0 20 0 1 0 142856714 276762624 65788 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 67569 65788 421 379 0 67103 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 280208 KiB
Current children cumulated memory: 265788 KiB

[startup+6.30025 s]
/proc/loadavg: 4.39 4.19 3.73 5/263 733245
/proc/meminfo: memFree=100773984/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=270276 memory=263152 CPUtime=6.27 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 60654 0 0 0 619 8 0 0 20 0 1 0 142856714 276762624 65788 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 67569 65788 421 379 0 67103 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 280208 KiB
Current children cumulated memory: 265788 KiB

[startup+12.7003 s]
/proc/loadavg: 4.36 4.18 3.73 5/263 733247
/proc/meminfo: memFree=100576220/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=697316 memory=660228 CPUtime=12.66 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 85846 0 0 0 1247 19 0 0 20 0 1 0 142856714 714051584 165057 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 174329 165057 421 379 0 173863 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 707248 KiB
Current children cumulated memory: 662864 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.17 3.73 5/263 733248
/proc/meminfo: memFree=98783160/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=2337400 memory=2313192 CPUtime=25.43 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 299466 0 0 0 2462 81 0 0 20 0 1 0 142856714 2393497600 578298 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 584350 578298 421 379 0 583884 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2347332 KiB
Current children cumulated memory: 2315828 KiB

[startup+51.1056 s]
/proc/loadavg: 4.26 4.18 3.75 5/263 733253
/proc/meminfo: memFree=90492960/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=13062732 memory=10672520 CPUtime=50.98 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 848268 0 0 0 4795 303 0 0 20 0 1 0 142856714 13376237568 2668130 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 3265683 2668130 421 379 0 3265217 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 13072664 KiB
Current children cumulated memory: 10675156 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.16 3.77 5/263 733262
/proc/meminfo: memFree=84147256/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=18891464 memory=16879876 CPUtime=102.04 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 1385753 0 0 0 9724 480 0 0 20 0 1 0 142856714 19344859136 4219969 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 4722866 4219969 421 379 0 4722400 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 18901396 KiB
Current children cumulated memory: 16882512 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.15 3.79 5/263 733273
/proc/meminfo: memFree=83227744/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=20554596 memory=17913836 CPUtime=161.89 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 1644978 0 0 0 15592 597 0 0 20 0 1 0 142856714 21047906304 4478459 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 5138649 4478459 421 379 0 5138183 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 20564528 KiB
Current children cumulated memory: 17916472 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.15 3.82 5/261 733283
/proc/meminfo: memFree=81033632/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=21771064 memory=19128136 CPUtime=221.73 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 1722197 0 0 0 21530 643 0 0 20 0 1 0 142856714 22293569536 4782034 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 5442766 4782034 421 379 0 5442300 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 21780996 KiB
Current children cumulated memory: 19130772 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.17 3.85 5/263 733352
/proc/meminfo: memFree=99190016/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=20909448 memory=18766428 CPUtime=281.58 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 1745007 0 0 0 27471 687 0 0 20 0 1 0 142856714 21411274752 4691607 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 5227362 4691607 421 379 0 5226896 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 20919380 KiB
Current children cumulated memory: 18769064 KiB

[startup+342.3 s]
/proc/loadavg: 4.31 4.20 3.88 5/261 733364
/proc/meminfo: memFree=97167596/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=20909448 memory=18766428 CPUtime=341.43 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 1748291 0 0 0 33449 694 0 0 20 0 1 0 142856714 21411274752 4691607 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 5227362 4691607 421 379 0 5226896 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 20919380 KiB
Current children cumulated memory: 18769064 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 4.19 3.90 5/261 733375
/proc/meminfo: memFree=92748348/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=26014072 memory=23499736 CPUtime=401.29 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 2174114 0 0 0 39286 843 0 0 20 0 1 0 142856714 26638409728 5874934 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 6503518 5874934 421 379 0 6503052 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 26024004 KiB
Current children cumulated memory: 23502372 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.17 3.92 5/262 733386
/proc/meminfo: memFree=91491392/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=28144736 memory=24518144 CPUtime=461.13 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 2358917 0 0 0 45169 944 0 0 20 0 1 0 142856714 28820209664 6129536 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 7036184 6129536 421 379 0 7035718 0
Current children cumulated CPU time: 461.13 s
Current children cumulated vsize: 28154668 KiB
Current children cumulated memory: 24520780 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 4.15 3.93 5/264 733402
/proc/meminfo: memFree=88055984/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=31554260 memory=28118140 CPUtime=520.99 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 2734591 0 0 0 51046 1053 0 0 20 0 1 0 142856714 32311562240 7029535 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 7888565 7029535 421 379 0 7888099 0
Current children cumulated CPU time: 520.99 s
Current children cumulated vsize: 31564192 KiB
Current children cumulated memory: 28120776 KiB

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

# cumulated CPU time of all completed processes:  user=518.012 s, system=11.1568 s

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

[startup+524.8 s]
/proc/loadavg: 4.16 4.16 3.93 5/264 733402
/proc/meminfo: memFree=87930968/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=31611944 memory=28241376 CPUtime=523.48 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 2749165 0 0 0 51291 1057 0 0 20 0 1 0 142856714 32370630656 7060344 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 7902986 7060344 421 379 0 7902520 0
Current children cumulated CPU time: 523.48 s
Current children cumulated vsize: 31621876 KiB
Current children cumulated memory: 28244012 KiB

[startup+528 s]*
/proc/loadavg: 4.16 4.16 3.93 5/264 733402
/proc/meminfo: memFree=87767736/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=31662632 memory=28361844 CPUtime=526.69 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 2762096 0 0 0 51606 1063 0 0 20 0 1 0 142856714 32422535168 7090461 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 7915658 7090461 421 379 0 7915192 0
Current children cumulated CPU time: 526.69 s
Current children cumulated vsize: 31672564 KiB
Current children cumulated memory: 28364480 KiB

[startup+529.6 s]
/proc/loadavg: 4.15 4.16 3.93 5/264 733402
/proc/meminfo: memFree=87725208/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
[pid=733244] ppid=733239 vsize=31687580 memory=28425636 CPUtime=528.28 cores=4,6
/proc/733244/stat : 733244 (naps-1.02b5) R 733239 733239 728743 0 -1 4194304 2768382 0 0 0 51762 1066 0 0 20 0 1 0 142856714 32448081920 7106409 134679101440 4194304 5746509 140728839557680 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 26251264 140728839562171 140728839562285 140728839562285 140728839569353 0
/proc/733244/statm: 7921895 7106409 421 379 0 7921429 0
Current children cumulated CPU time: 528.28 s
Current children cumulated vsize: 31697512 KiB
Current children cumulated memory: 28428272 KiB

[startup+530 s]*
/proc/loadavg: 4.15 4.16 3.93 5/264 733402
/proc/meminfo: memFree=87894488/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2636 KiB

[startup+530.4 s]
/proc/loadavg: 4.15 4.16 3.93 5/264 733402
/proc/meminfo: memFree=87894488/131524600 swapFree=131071996/131071996
[pid=733239] ppid=733236 vsize=9932 memory=2636 CPUtime=0 cores=4,6
/proc/733239/stat : 733239 (naps-1.02b5.sh) S 733236 733239 728743 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 142856714 10170368 659 134679101440 94834087620608 94834088699928 140731345618992 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94834090798384 94834090845572 94834116943872 140731345626028 140731345626155 140731345626155 140731345633222 0
/proc/733239/statm: 2483 659 580 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2636 KiB

Child status: 10

Real time (s): 530.483
CPU time (s): 529.168
CPU user time (s): 518.012
CPU system time (s): 11.1568
CPU usage (%): 99.7522
Max. virtual memory (cumulated for all children) (KiB): 31702132
Max. memory (cumulated for all children) (KiB): 28439092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 518.012
system time used= 11.1568
maximum resident set size= 28439140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2770666
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= 12
involuntary context switches= 581


# summary of solver processes directly reported to runsolver:
#   pid: 733239
#   total CPU time (s): 529.168
#   total CPU user time (s): 518.012
#   total CPU system time (s): 11.1568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09345 second user time and 2.5522 second system time

The end