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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=76760, runsolver pid=76757

[startup+0.100075 s]*
/proc/loadavg: 4.06 4.08 3.94 5/258 76764
/proc/meminfo: memFree=128267020/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=20712 memory=6140 CPUtime=0.07 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 648 0 0 0 7 0 0 0 20 0 1 0 68837246 21209088 1535 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 5178 1535 1088 2752 0 1831 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27696 KiB
Current children cumulated memory: 10620 KiB

[startup+0.217998 s]*
/proc/loadavg: 4.06 4.08 3.94 5/258 76764
/proc/meminfo: memFree=128266264/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=26816 memory=12180 CPUtime=0.17 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 2637 0 0 0 16 1 0 0 20 0 1 0 68837246 27459584 3045 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 6704 3045 1088 2752 0 3357 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 33800 KiB
Current children cumulated memory: 16660 KiB

[startup+0.315736 s]*
/proc/loadavg: 4.06 4.08 3.94 5/258 76764
/proc/meminfo: memFree=128265256/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=26816 memory=12436 CPUtime=0.26 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 2640 0 0 0 25 1 0 0 20 0 1 0 68837246 27459584 3109 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 6704 3109 1152 2752 0 3357 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 33800 KiB
Current children cumulated memory: 16916 KiB

[startup+0.700478 s]
/proc/loadavg: 4.06 4.08 3.94 5/258 76764
/proc/meminfo: memFree=128265400/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=26816 memory=12436 CPUtime=0.6 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 2640 0 0 0 59 1 0 0 20 0 1 0 68837246 27459584 3109 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 6704 3109 1152 2752 0 3357 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 33800 KiB
Current children cumulated memory: 16916 KiB

[startup+1.5004 s]
/proc/loadavg: 4.06 4.08 3.94 5/258 76764
/proc/meminfo: memFree=128265400/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=26816 memory=12436 CPUtime=1.4 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 2640 0 0 0 139 1 0 0 20 0 1 0 68837246 27459584 3109 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 6704 3109 1152 2752 0 3357 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 33800 KiB
Current children cumulated memory: 16916 KiB

[startup+3.11322 s]
/proc/loadavg: 4.06 4.08 3.94 5/258 76764
/proc/meminfo: memFree=128226948/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=26816 memory=12436 CPUtime=3.01 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 2640 0 0 0 300 1 0 0 20 0 1 0 68837246 27459584 3109 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 6704 3109 1152 2752 0 3357 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 33800 KiB
Current children cumulated memory: 16916 KiB

[startup+6.30047 s]
/proc/loadavg: 4.13 4.09 3.95 5/258 76764
/proc/meminfo: memFree=128107428/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=105500 memory=93160 CPUtime=6.19 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 23669 0 0 0 614 5 0 0 20 0 1 0 68837246 108032000 23290 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 26375 23290 2848 2752 0 23028 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 112484 KiB
Current children cumulated memory: 97640 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.09 3.95 5/258 76764
/proc/meminfo: memFree=127993572/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=121736 memory=102120 CPUtime=12.56 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 25934 0 0 0 1251 5 0 0 20 0 1 0 68837246 124657664 25530 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 30434 25530 2848 2752 0 27087 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 128720 KiB
Current children cumulated memory: 106600 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 4.09 3.95 5/258 76766
/proc/meminfo: memFree=127919708/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=131316 memory=110824 CPUtime=25.33 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 28093 0 0 0 2527 6 0 0 20 0 1 0 68837246 134467584 27706 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 32829 27706 2848 2752 0 29482 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 138300 KiB
Current children cumulated memory: 115304 KiB

[startup+51.1135 s]
/proc/loadavg: 4.20 4.11 3.96 5/259 76826
/proc/meminfo: memFree=127817648/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=150360 memory=128872 CPUtime=50.84 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 32608 0 0 0 5074 10 0 0 20 0 1 0 68837246 153968640 32218 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 37590 32218 2848 2752 0 34243 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 157344 KiB
Current children cumulated memory: 133352 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.11 3.97 5/259 76828
/proc/meminfo: memFree=127751612/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/76764/statm: 111499 109621 2848 2752 0 108152 0
Current children cumulated CPU time: 2256.33 s
Current children cumulated vsize: 452980 KiB
Current children cumulated memory: 442964 KiB

[startup+2322.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77079
/proc/meminfo: memFree=128230064/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=445996 memory=438484 CPUtime=2316.2 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 116931 0 0 0 231575 45 0 0 20 0 1 0 68837246 456699904 109621 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 111499 109621 2848 2752 0 108152 0
Current children cumulated CPU time: 2316.2 s
Current children cumulated vsize: 452980 KiB
Current children cumulated memory: 442964 KiB

[startup+2382.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 77086
/proc/meminfo: memFree=128230032/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=76763] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/76763/stat : 76763 (timeout) S 76760 76763 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68837245 2723840 352 18446744073709551615 94739682930688 94739682947201 140725281920304 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94739682961968 94739682964056 94739700150272 140725281925552 140725281925666 140725281925666 140725281931239 0
/proc/76763/statm: 665 352 352 5 0 90 0
[pid=76764] ppid=76763 vsize=445996 memory=438484 CPUtime=2376.07 cores=5,7
/proc/76764/stat : 76764 (NuPBO-DeepOptS+) R 76763 76763 76447 0 -1 4194304 116931 0 0 0 237562 45 0 0 20 0 1 0 68837246 456699904 109621 18446744073709551615 4198400 15468185 140722608793600 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34054144 140722608798140 140722608798241 140722608798241 140722608803814 0
/proc/76764/statm: 111499 109621 2848 2752 0 108152 0
Current children cumulated CPU time: 2376.07 s
Current children cumulated vsize: 452980 KiB
Current children cumulated memory: 442964 KiB

[startup+2442.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/259 77150
/proc/meminfo: memFree=128596440/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=2391.78 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 282 117206 0 0 0 0 239132 46 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=77087] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77087/stat : 77087 (timeout) S 76760 77087 76447 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69077047 2723840 352 18446744073709551615 93855769600000 93855769616513 140721557940800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93855769631280 93855769633368 93855776362496 140721557948803 140721557948962 140721557948962 140721557954535 0
/proc/77087/statm: 665 352 352 5 0 90 0
[pid=77088] ppid=77087 vsize=72108 memory=39888 CPUtime=44.12 cores=5,7
/proc/77088/stat : 77088 (ExactPR-nols) R 77087 77087 76447 0 -1 4194304 6885 0 0 0 4398 14 0 0 20 0 1 0 69077047 73838592 9972 18446744073709551615 93998021910528 93998031210181 140737320766544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93998032996672 93998033035752 93998072250368 140737320769944 140737320770084 140737320770084 140737320775657 0
/proc/77088/statm: 18027 9972 1888 2271 0 12665 0
Current children cumulated CPU time: 2435.9 s
Current children cumulated vsize: 79092 KiB
Current children cumulated memory: 44368 KiB

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

# cumulated CPU time of all completed processes:  user=2446.98 s, system=0.663179 s

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

[startup+2444.8 s]
/proc/loadavg: 4.16 4.11 4.09 5/259 77150
/proc/meminfo: memFree=128596836/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=2391.78 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 282 117206 0 0 0 0 239132 46 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=77087] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77087/stat : 77087 (timeout) S 76760 77087 76447 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69077047 2723840 352 18446744073709551615 93855769600000 93855769616513 140721557940800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93855769631280 93855769633368 93855776362496 140721557948803 140721557948962 140721557948962 140721557954535 0
/proc/77087/statm: 665 352 352 5 0 90 0
[pid=77088] ppid=77087 vsize=72108 memory=39888 CPUtime=46.61 cores=5,7
/proc/77088/stat : 77088 (ExactPR-nols) R 77087 77087 76447 0 -1 4194304 6887 0 0 0 4645 16 0 0 20 0 1 0 69077047 73838592 9972 18446744073709551615 93998021910528 93998031210181 140737320766544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93998032996672 93998033035752 93998072250368 140737320769944 140737320770084 140737320770084 140737320775657 0
/proc/77088/statm: 18027 9972 1888 2271 0 12665 0
Current children cumulated CPU time: 2438.39 s
Current children cumulated vsize: 79092 KiB
Current children cumulated memory: 44368 KiB

[startup+2448 s]*
/proc/loadavg: 4.14 4.11 4.09 5/259 77150
/proc/meminfo: memFree=128597096/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=2391.78 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 282 117206 0 0 0 0 239132 46 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=77087] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77087/stat : 77087 (timeout) S 76760 77087 76447 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69077047 2723840 352 18446744073709551615 93855769600000 93855769616513 140721557940800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93855769631280 93855769633368 93855776362496 140721557948803 140721557948962 140721557948962 140721557954535 0
/proc/77087/statm: 665 352 352 5 0 90 0
[pid=77088] ppid=77087 vsize=72472 memory=40272 CPUtime=49.82 cores=5,7
/proc/77088/stat : 77088 (ExactPR-nols) R 77087 77087 76447 0 -1 4194304 6974 0 0 0 4966 16 0 0 20 0 1 0 69077047 74211328 10068 18446744073709551615 93998021910528 93998031210181 140737320766544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93998032996672 93998033035752 93998072250368 140737320769944 140737320770084 140737320770084 140737320775657 0
/proc/77088/statm: 18118 10068 1888 2271 0 12756 0
Current children cumulated CPU time: 2441.6 s
Current children cumulated vsize: 79456 KiB
Current children cumulated memory: 44752 KiB

[startup+2451.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 77150
/proc/meminfo: memFree=128597348/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=2391.78 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 282 117206 0 0 0 0 239132 46 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=77087] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77087/stat : 77087 (timeout) S 76760 77087 76447 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69077047 2723840 352 18446744073709551615 93855769600000 93855769616513 140721557940800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93855769631280 93855769633368 93855776362496 140721557948803 140721557948962 140721557948962 140721557954535 0
/proc/77087/statm: 665 352 352 5 0 90 0
[pid=77088] ppid=77087 vsize=72472 memory=40272 CPUtime=52.99 cores=5,7
/proc/77088/stat : 77088 (ExactPR-nols) R 77087 77087 76447 0 -1 4194304 6976 0 0 0 5282 17 0 0 20 0 1 0 69077047 74211328 10068 18446744073709551615 93998021910528 93998031210181 140737320766544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93998032996672 93998033035752 93998072250368 140737320769944 140737320770084 140737320770084 140737320775657 0
/proc/77088/statm: 18118 10068 1888 2271 0 12756 0
Current children cumulated CPU time: 2444.77 s
Current children cumulated vsize: 79456 KiB
Current children cumulated memory: 44752 KiB

[startup+2452.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 77150
/proc/meminfo: memFree=128597116/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=2391.78 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 282 117206 0 0 0 0 239132 46 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=77087] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77087/stat : 77087 (timeout) S 76760 77087 76447 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69077047 2723840 352 18446744073709551615 93855769600000 93855769616513 140721557940800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93855769631280 93855769633368 93855776362496 140721557948803 140721557948962 140721557948962 140721557954535 0
/proc/77087/statm: 665 352 352 5 0 90 0
[pid=77088] ppid=77087 vsize=72472 memory=40272 CPUtime=54.59 cores=5,7
/proc/77088/stat : 77088 (ExactPR-nols) R 77087 77087 76447 0 -1 4194304 6977 0 0 0 5442 17 0 0 20 0 1 0 69077047 74211328 10068 18446744073709551615 93998021910528 93998031210181 140737320766544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93998032996672 93998033035752 93998072250368 140737320769944 140737320770084 140737320770084 140737320775657 0
/proc/77088/statm: 18118 10068 1888 2271 0 12756 0
Current children cumulated CPU time: 2446.37 s
Current children cumulated vsize: 79456 KiB
Current children cumulated memory: 44752 KiB

[startup+2453.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 77150
/proc/meminfo: memFree=128597368/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=2391.78 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 282 117206 0 0 0 0 239132 46 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=77087] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77087/stat : 77087 (timeout) S 76760 77087 76447 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69077047 2723840 352 18446744073709551615 93855769600000 93855769616513 140721557940800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93855769631280 93855769633368 93855776362496 140721557948803 140721557948962 140721557948962 140721557954535 0
/proc/77087/statm: 665 352 352 5 0 90 0
[pid=77088] ppid=77087 vsize=72472 memory=40272 CPUtime=55.39 cores=5,7
/proc/77088/stat : 77088 (ExactPR-nols) R 77087 77087 76447 0 -1 4194304 6978 0 0 0 5522 17 0 0 20 0 1 0 69077047 74211328 10068 18446744073709551615 93998021910528 93998031210181 140737320766544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93998032996672 93998033035752 93998072250368 140737320769944 140737320770084 140737320770084 140737320775657 0
/proc/77088/statm: 18118 10068 1888 2271 0 12756 0
Current children cumulated CPU time: 2447.17 s
Current children cumulated vsize: 79456 KiB
Current children cumulated memory: 44752 KiB

[startup+2454 s]*
/proc/loadavg: 4.13 4.11 4.09 5/259 77150
/proc/meminfo: memFree=128597368/131382112 swapFree=33009904/33010684
[pid=76760] ppid=76757 vsize=4324 memory=3072 CPUtime=2391.78 cores=5,7
/proc/76760/stat : 76760 (Hybrid-NuPBODee) S 76757 76760 76447 0 -1 4194304 282 117206 0 0 0 0 239132 46 20 0 1 0 68837243 4427776 768 18446744073709551615 94575304949760 94575305844293 140726433238576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94575306083344 94575306131088 94575330148352 140726433241435 140726433241587 140726433241587 140726433247189 0
/proc/76760/statm: 1081 768 704 219 0 143 0
[pid=77087] ppid=76760 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77087/stat : 77087 (timeout) S 76760 77087 76447 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69077047 2723840 352 18446744073709551615 93855769600000 93855769616513 140721557940800 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93855769631280 93855769633368 93855776362496 140721557948803 140721557948962 140721557948962 140721557954535 0
/proc/77087/statm: 665 352 352 5 0 90 0
[pid=77088] ppid=77087 vsize=72472 memory=40272 CPUtime=55.8 cores=5,7
/proc/77088/stat : 77088 (ExactPR-nols) R 77087 77087 76447 0 -1 4194304 6978 0 0 0 5563 17 0 0 20 0 1 0 69077047 74211328 10068 18446744073709551615 93998021910528 93998031210181 140737320766544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93998032996672 93998033035752 93998072250368 140737320769944 140737320770084 140737320770084 140737320775657 0
/proc/77088/statm: 18118 10068 1888 2271 0 12756 0
Current children cumulated CPU time: 2447.58 s
Current children cumulated vsize: 79456 KiB
Current children cumulated memory: 44752 KiB

Child status: 0

Real time (s): 2454.07
CPU time (s): 2447.64
CPU user time (s): 2446.98
CPU system time (s): 0.663179
CPU usage (%): 99.7381
Max. virtual memory (cumulated for all children) (KiB): 492476
Max. memory (cumulated for all children) (KiB): 478768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2446.98
system time used= 0.663179
maximum resident set size= 474416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 946
involuntary context switches= 1515


# summary of solver processes directly reported to runsolver:
#   pid: 76760
#   total CPU time (s): 2447.64
#   total CPU user time (s): 2446.98
#   total CPU system time (s): 0.663179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4824 second user time and 24.607 second system time

The end