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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499471-1751416895/watcher-4499471-1751416895 -o /tmp/evaluation-result-4499471-1751416895/solver-4499471-1751416895 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751414495-63578 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4499471-1751416895.opb 3600 HOME 

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64119, runsolver pid=64116
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.06 4.09 4.02 5/272 64123
/proc/meminfo: memFree=120919192/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=24504 memory=9444 CPUtime=0.07 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 1875 0 0 0 7 0 0 0 20 0 1 0 57367357 25092096 2361 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 6126 2361 1088 2752 0 2779 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 31488 KiB
Current children cumulated memory: 13796 KiB

[startup+0.205805 s]*
/proc/loadavg: 4.06 4.09 4.02 5/272 64123
/proc/meminfo: memFree=120919192/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=26552 memory=11868 CPUtime=0.17 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 2454 0 0 0 17 0 0 0 20 0 1 0 57367357 27189248 2967 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 6638 2967 1088 2752 0 3291 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 16220 KiB

[startup+0.305749 s]*
/proc/loadavg: 4.06 4.09 4.02 5/272 64123
/proc/meminfo: memFree=120919192/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=30648 memory=13920 CPUtime=0.27 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 2970 0 0 0 27 0 0 0 20 0 1 0 57367357 31383552 3480 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 7662 3480 1088 2752 0 4315 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 37632 KiB
Current children cumulated memory: 18272 KiB

[startup+0.700223 s]
/proc/loadavg: 4.06 4.09 4.02 5/272 64123
/proc/meminfo: memFree=120891028/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=60700 memory=44084 CPUtime=0.66 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 8360 0 0 0 65 1 0 0 20 0 1 0 57367357 62156800 11021 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 15175 11021 1152 2752 0 11828 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 67684 KiB
Current children cumulated memory: 48436 KiB

[startup+1.50023 s]
/proc/loadavg: 4.06 4.09 4.02 5/272 64124
/proc/meminfo: memFree=120882964/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=60700 memory=44084 CPUtime=1.46 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 8360 0 0 0 145 1 0 0 20 0 1 0 57367357 62156800 11021 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 15175 11021 1152 2752 0 11828 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 67684 KiB
Current children cumulated memory: 48436 KiB

[startup+3.10547 s]
/proc/loadavg: 4.06 4.08 4.02 5/272 64124
/proc/meminfo: memFree=120875224/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=60700 memory=44084 CPUtime=3.06 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 8364 0 0 0 305 1 0 0 20 0 1 0 57367357 62156800 11021 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 15175 11021 1152 2752 0 11828 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 67684 KiB
Current children cumulated memory: 48436 KiB

[startup+6.30021 s]
/proc/loadavg: 4.06 4.08 4.02 5/272 64124
/proc/meminfo: memFree=120583152/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=267572 memory=249580 CPUtime=6.24 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 59951 0 0 0 614 10 0 0 20 0 1 0 57367357 273993728 62395 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 66893 62395 2816 2752 0 63546 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 274556 KiB
Current children cumulated memory: 253932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.02 5/272 64124
/proc/meminfo: memFree=120569180/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=268648 memory=250348 CPUtime=12.63 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 60143 0 0 0 1253 10 0 0 20 0 1 0 57367357 275095552 62587 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 67162 62587 2816 2752 0 63815 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 275632 KiB
Current children cumulated memory: 254700 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.02 5/272 64124
/proc/meminfo: memFree=120520284/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=269604 memory=251372 CPUtime=25.39 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 60388 0 0 0 2529 10 0 0 20 0 1 0 57367357 276074496 62843 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 67401 62843 2816 2752 0 64054 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 276588 KiB
Current children cumulated memory: 255724 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.09 4.02 5/272 64124
/proc/meminfo: memFree=120503152/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64122] ppid=64119 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/64122/stat : 64122 (timeout) S 64119 64122 63567 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57367357 2723840 352 18446744073709551615 94390424395776 94390424412289 140728077288848 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94390424427056 94390424429144 94390446034944 140728077298096 140728077298210 140728077298210 140728077303783 0
/proc/64122/statm: 665 352 352 5 0 90 0
[pid=64123] ppid=64122 vsize=269604 memory=251372 CPUtime=50.91 cores=4,6
/proc/64123/stat : 64123 (NuPBO-DeepOptS+) R 64122 64122 63567 0 -1 4194304 60388 0 0 0 5081 10 0 0 20 0 1 0 57367357 276074496 62843 18446744073709551615 4198400 15468185 140728191390544 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55296000 140728191392188 140728191392289 140728191392289 140728191397862 0
/proc/64123/statm: 67401 62843 2816 2752 0 64054 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 276588 KiB
Current children cumulated memory: 255724 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/272 64127
/proc/meminfo: memFree=120475712/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0

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

/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=88628 CPUtime=163.76 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15461 0 0 0 16363 13 0 0 20 0 1 0 57607160 122339328 22157 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22157 1888 2271 0 24506 0
Current children cumulated CPU time: 2554.97 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 92852 KiB

[startup+2622.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/272 64437
/proc/meminfo: memFree=120922760/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2391.21 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 281 71996 0 0 0 0 239105 16 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=91836 CPUtime=223.63 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15468 0 0 0 22350 13 0 0 20 0 1 0 57607160 122339328 22959 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22959 1888 2271 0 24506 0
Current children cumulated CPU time: 2614.84 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 96060 KiB

[startup+2638.94 s]
# the end of solver process 64119 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2631.1 s, system=0.316072 s

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

[startup+2624 s]*
/proc/loadavg: 4.13 4.14 4.11 5/272 64437
/proc/meminfo: memFree=120922760/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2391.21 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 281 71996 0 0 0 0 239105 16 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=91836 CPUtime=225.33 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15468 0 0 0 22520 13 0 0 20 0 1 0 57607160 122339328 22959 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22959 1888 2271 0 24506 0
Current children cumulated CPU time: 2616.54 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 96060 KiB

[startup+2630.4 s]
/proc/loadavg: 4.12 4.14 4.11 5/272 64438
/proc/meminfo: memFree=120922792/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2391.21 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 281 71996 0 0 0 0 239105 16 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=91836 CPUtime=231.71 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15469 0 0 0 23158 13 0 0 20 0 1 0 57607160 122339328 22959 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22959 1888 2271 0 24506 0
Current children cumulated CPU time: 2622.92 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 96060 KiB

[startup+2633.6 s]
/proc/loadavg: 4.11 4.14 4.10 5/272 64438
/proc/meminfo: memFree=120922792/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2391.21 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 281 71996 0 0 0 0 239105 16 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=91836 CPUtime=234.9 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15469 0 0 0 23477 13 0 0 20 0 1 0 57607160 122339328 22959 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22959 1888 2271 0 24506 0
Current children cumulated CPU time: 2626.11 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 96060 KiB

[startup+2636.8 s]
/proc/loadavg: 4.11 4.14 4.10 5/272 64438
/proc/meminfo: memFree=120922856/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2391.21 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 281 71996 0 0 0 0 239105 16 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=91836 CPUtime=238.1 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15469 0 0 0 23797 13 0 0 20 0 1 0 57607160 122339328 22959 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22959 1888 2271 0 24506 0
Current children cumulated CPU time: 2629.31 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 96060 KiB

[startup+2637.6 s]
/proc/loadavg: 4.10 4.14 4.10 5/272 64438
/proc/meminfo: memFree=120922856/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2391.21 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 281 71996 0 0 0 0 239105 16 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=91836 CPUtime=238.9 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15469 0 0 0 23877 13 0 0 20 0 1 0 57607160 122339328 22959 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22959 1888 2271 0 24506 0
Current children cumulated CPU time: 2630.11 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 96060 KiB

[startup+2638.4 s]
/proc/loadavg: 4.10 4.14 4.10 5/272 64438
/proc/meminfo: memFree=120922856/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2391.21 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 281 71996 0 0 0 0 239105 16 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=91836 CPUtime=239.69 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15469 0 0 0 23956 13 0 0 20 0 1 0 57607160 122339328 22959 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22959 1888 2271 0 24506 0
Current children cumulated CPU time: 2630.9 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 96060 KiB

[startup+2638.8 s]
/proc/loadavg: 4.10 4.14 4.10 5/272 64438
/proc/meminfo: memFree=120922856/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2391.21 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 281 71996 0 0 0 0 239105 16 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
[pid=64428] ppid=64119 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/64428/stat : 64428 (timeout) S 64119 64428 63567 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 57607159 2723840 320 18446744073709551615 94563620073472 94563620089985 140737001126576 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94563620104752 94563620106840 94563652276224 140737001134467 140737001134626 140737001134626 140737001140199 0
/proc/64428/statm: 665 320 320 5 0 90 0
[pid=64429] ppid=64428 vsize=119472 memory=91836 CPUtime=240.09 cores=4,6
/proc/64429/stat : 64429 (ExactPR-nols) R 64428 64428 63567 0 -1 4194304 15469 0 0 0 23996 13 0 0 20 0 1 0 57607160 122339328 22959 18446744073709551615 93911668572160 93911677871813 140721142646816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93911679658304 93911679697384 93911704432640 140721142651288 140721142651428 140721142651428 140721142657001 0
/proc/64429/statm: 29868 22959 1888 2271 0 24506 0
Current children cumulated CPU time: 2631.3 s
Current children cumulated vsize: 126456 KiB
Current children cumulated memory: 96060 KiB

[startup+2638.9 s]
/proc/loadavg: 4.10 4.14 4.10 5/272 64438
/proc/meminfo: memFree=120922856/131250000 swapFree=33010416/33010684
[pid=64119] ppid=64116 vsize=4324 memory=2944 CPUtime=2631.4 cores=4,6
/proc/64119/stat : 64119 (Hybrid-NuPBODee) S 64116 64119 63567 0 -1 4194304 328 87926 0 0 0 0 263110 30 20 0 1 0 57367355 4427776 736 18446744073709551615 94837144645632 94837145540165 140733804585824 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 94837145779216 94837145826960 94837171970048 140733804587355 140733804587507 140733804587507 140733804593109 0
/proc/64119/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2631.4 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2638.94
CPU time (s): 2631.42
CPU user time (s): 2631.1
CPU system time (s): 0.316072
CPU usage (%): 99.7151
Max. virtual memory (cumulated for all children) (KiB): 349176
Max. memory (cumulated for all children) (KiB): 321276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2631.1
system time used= 0.316072
maximum resident set size= 316924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 982
involuntary context switches= 1188


# summary of solver processes directly reported to runsolver:
#   pid: 64119
#   total CPU time (s): 2631.42
#   total CPU user time (s): 2631.1
#   total CPU system time (s): 0.316072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.28443 second user time and 11.6298 second system time

The end