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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512737-1751535187/watcher-4512737-1751535187 -o /tmp/evaluation-result-4512737-1751535187/solver-4512737-1751535187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751529182-76459 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4512737-1751535187.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=77391, runsolver pid=77388
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128623916/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=0.08 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 901 0 0 0 8 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+0.213615 s]*
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128623916/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=0.19 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 901 0 0 0 19 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+0.312962 s]*
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128623916/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=0.29 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 901 0 0 0 29 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+0.700358 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128623916/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=0.66 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 917 0 0 0 66 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+1.50036 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128624012/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=1.46 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 917 0 0 0 146 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+3.11253 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128624012/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=3.07 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 917 0 0 0 307 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+6.30035 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128624020/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=6.25 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 917 0 0 0 625 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 77395
/proc/meminfo: memFree=128624020/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=12.64 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 917 0 0 0 1264 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 77395
/proc/meminfo: memFree=128623784/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=25.41 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 917 0 0 0 2541 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+51.1127 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77396
/proc/meminfo: memFree=128619688/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7552 CPUtime=50.96 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 917 0 0 0 5096 0 0 0 20 0 1 0 69197621 22794240 1888 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1888 1088 2752 0 2218 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 11776 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 77397
/proc/meminfo: memFree=128616100/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3

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


[startup+2262.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/257 77629
/proc/meminfo: memFree=126782448/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7808 CPUtime=2256.81 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 937 0 0 0 225672 9 0 0 20 0 1 0 69197621 22794240 1952 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1952 1088 2752 0 2218 0
Current children cumulated CPU time: 2256.81 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 12032 KiB

[startup+2322.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/257 77631
/proc/meminfo: memFree=126743260/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7808 CPUtime=2316.66 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 938 0 0 0 231656 10 0 0 20 0 1 0 69197621 22794240 1952 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1952 1088 2752 0 2218 0
Current children cumulated CPU time: 2316.66 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 12032 KiB

[startup+2382.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/257 77632
/proc/meminfo: memFree=126682012/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7808 CPUtime=2376.5 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 938 0 0 0 237640 10 0 0 20 0 1 0 69197621 22794240 1952 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1952 1088 2752 0 2218 0
Current children cumulated CPU time: 2376.5 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 12032 KiB

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

# cumulated CPU time of all completed processes:  user=2392.38 s, system=0.150991 s

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

[startup+2387.2 s]
/proc/loadavg: 4.09 4.12 4.12 5/257 77633
/proc/meminfo: memFree=126682768/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7808 CPUtime=2381.39 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 938 0 0 0 238129 10 0 0 20 0 1 0 69197621 22794240 1952 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1952 1088 2752 0 2218 0
Current children cumulated CPU time: 2381.39 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 12032 KiB

[startup+2393.6 s]
/proc/loadavg: 4.15 4.13 4.13 5/257 77633
/proc/meminfo: memFree=126675080/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7808 CPUtime=2387.78 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 938 0 0 0 238768 10 0 0 20 0 1 0 69197621 22794240 1952 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1952 1088 2752 0 2218 0
Current children cumulated CPU time: 2387.78 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 12032 KiB

[startup+2396.8 s]
/proc/loadavg: 4.15 4.13 4.13 4/251 77654
/proc/meminfo: memFree=126690240/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7808 CPUtime=2390.97 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 938 0 0 0 239087 10 0 0 20 0 1 0 69197621 22794240 1952 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1952 1088 2752 0 2218 0
Current children cumulated CPU time: 2390.97 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 12032 KiB

[startup+2397.6 s]
/proc/loadavg: 4.15 4.13 4.13 4/251 77654
/proc/meminfo: memFree=126687528/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7808 CPUtime=2391.76 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 938 0 0 0 239166 10 0 0 20 0 1 0 69197621 22794240 1952 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1952 1088 2752 0 2218 0
Current children cumulated CPU time: 2391.76 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 12032 KiB

[startup+2398 s]*
/proc/loadavg: 4.14 4.13 4.13 5/250 77682
/proc/meminfo: memFree=126679840/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
[pid=77394] ppid=77391 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/77394/stat : 77394 (timeout) S 77391 77394 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197621 2723840 320 18446744073709551615 93884956610560 93884956627073 140724976108560 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93884956641840 93884956643928 93884966875136 140724976114096 140724976114210 140724976114210 140724976119783 0
/proc/77394/statm: 665 320 320 5 0 90 0
[pid=77395] ppid=77394 vsize=22260 memory=7808 CPUtime=2392.18 cores=1,3
/proc/77395/stat : 77395 (NuPBO-DeepOptS+) R 77394 77394 76447 0 -1 4194304 938 0 0 0 239208 10 0 0 20 0 1 0 69197621 22794240 1952 18446744073709551615 4198400 15468185 140730892432976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41226240 140730892437948 140730892438049 140730892438049 140730892443622 0
/proc/77395/statm: 5565 1952 1088 2752 0 2218 0
Current children cumulated CPU time: 2392.18 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 12032 KiB

[startup+2398.2 s]
/proc/loadavg: 4.14 4.13 4.13 5/250 77682
/proc/meminfo: memFree=126679840/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=2392.19 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 283 1168 0 0 0 0 239209 10 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.19 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

[startup+2398.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/250 77682
/proc/meminfo: memFree=126679840/131382112 swapFree=33009904/33010684
[pid=77391] ppid=77388 vsize=4324 memory=2944 CPUtime=2392.19 cores=1,3
/proc/77391/stat : 77391 (Hybrid-NuPBODee) S 77388 77391 76447 0 -1 4194304 283 1168 0 0 0 0 239209 10 20 0 1 0 69197619 4427776 736 18446744073709551615 94876661100544 94876661995077 140728574423968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94876662234128 94876662281872 94876663648256 140728574429531 140728574429683 140728574429683 140728574435285 0
/proc/77391/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.19 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2398.39
CPU time (s): 2392.53
CPU user time (s): 2392.38
CPU system time (s): 0.150991
CPU usage (%): 99.7558
Max. virtual memory (cumulated for all children) (KiB): 29244
Max. memory (cumulated for all children) (KiB): 12032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.38
system time used= 0.150991
maximum resident set size= 18876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 898
involuntary context switches= 901


# summary of solver processes directly reported to runsolver:
#   pid: 77391
#   total CPU time (s): 2392.53
#   total CPU user time (s): 2392.38
#   total CPU system time (s): 0.150991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0925 second user time and 24.3405 second system time

The end