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: 63708 MiB (62324 MiB free)
  memory of node 1: 64465 MiB (63710 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496853-1751395890/watcher-4496853-1751395890 -o /tmp/evaluation-result-4496853-1751395890/solver-4496853-1751395890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751393480-50781 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4496853-1751395890.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=51026, runsolver pid=51023
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.06 4.08 4.01 5/272 51030
/proc/meminfo: memFree=129060268/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=22704 memory=8324 CPUtime=0.08 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 1292 0 0 0 8 0 0 0 20 0 1 0 55266545 23248896 2081 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 5676 2081 1152 2752 0 2329 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29688 KiB
Current children cumulated memory: 12676 KiB

[startup+0.205663 s]*
/proc/loadavg: 4.05 4.08 4.00 5/272 51030
/proc/meminfo: memFree=129056360/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=22704 memory=8324 CPUtime=0.18 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 1292 0 0 0 18 0 0 0 20 0 1 0 55266545 23248896 2081 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 5676 2081 1152 2752 0 2329 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29688 KiB
Current children cumulated memory: 12676 KiB

[startup+0.305453 s]*
/proc/loadavg: 4.05 4.08 4.00 5/272 51030
/proc/meminfo: memFree=129058484/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=22704 memory=8324 CPUtime=0.28 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 1292 0 0 0 28 0 0 0 20 0 1 0 55266545 23248896 2081 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 5676 2081 1152 2752 0 2329 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 29688 KiB
Current children cumulated memory: 12676 KiB

[startup+0.700237 s]
/proc/loadavg: 4.05 4.08 4.00 5/272 51030
/proc/meminfo: memFree=129050288/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=47464 memory=37220 CPUtime=0.67 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7110 0 0 0 66 1 0 0 20 0 1 0 55266545 48603136 9305 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 11866 9305 2816 2752 0 8519 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 54448 KiB
Current children cumulated memory: 41572 KiB

[startup+1.50017 s]
/proc/loadavg: 4.05 4.08 4.00 5/272 51030
/proc/meminfo: memFree=129018284/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=29868 CPUtime=1.47 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7434 0 0 0 146 1 0 0 20 0 1 0 55266545 40509440 7467 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7467 2816 2752 0 6543 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 34220 KiB

[startup+3.10533 s]
/proc/loadavg: 4.05 4.08 4.00 5/272 51030
/proc/meminfo: memFree=128998312/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=29868 CPUtime=3.07 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7434 0 0 0 306 1 0 0 20 0 1 0 55266545 40509440 7467 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7467 2816 2752 0 6543 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 34220 KiB

[startup+6.30016 s]
/proc/loadavg: 4.05 4.08 4.00 5/272 51030
/proc/meminfo: memFree=128848328/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=29868 CPUtime=6.26 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7434 0 0 0 625 1 0 0 20 0 1 0 55266545 40509440 7467 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7467 2816 2752 0 6543 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 34220 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.00 5/272 51031
/proc/meminfo: memFree=128432132/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=29868 CPUtime=12.64 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7434 0 0 0 1263 1 0 0 20 0 1 0 55266545 40509440 7467 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7467 2816 2752 0 6543 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 34220 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.01 5/272 51031
/proc/meminfo: memFree=128152156/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=29868 CPUtime=25.41 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7434 0 0 0 2540 1 0 0 20 0 1 0 55266545 40509440 7467 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7467 2816 2752 0 6543 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 34220 KiB

[startup+51.1054 s]
/proc/loadavg: 4.07 4.08 4.01 5/273 51032
/proc/meminfo: memFree=127845400/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=29868 CPUtime=50.96 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7434 0 0 0 5095 1 0 0 20 0 1 0 55266545 40509440 7467 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7467 2816 2752 0 6543 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 34220 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/273 51091
/proc/meminfo: memFree=127268928/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=31788 CPUtime=2257.46 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7462 0 0 0 225745 1 0 0 20 0 1 0 55266545 40509440 7947 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7947 2816 2752 0 6543 0
Current children cumulated CPU time: 2257.46 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 36140 KiB

[startup+2322.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/273 51341
/proc/meminfo: memFree=129649100/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=31788 CPUtime=2317.34 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7462 0 0 0 231733 1 0 0 20 0 1 0 55266545 40509440 7947 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7947 2816 2752 0 6543 0
Current children cumulated CPU time: 2317.34 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 36140 KiB

[startup+2382.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/274 51345
/proc/meminfo: memFree=129647524/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=31788 CPUtime=2377.21 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7464 0 0 0 237720 1 0 0 20 0 1 0 55266545 40509440 7947 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7947 2816 2752 0 6543 0
Current children cumulated CPU time: 2377.21 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 36140 KiB

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

# cumulated CPU time of all completed processes:  user=2398.86 s, system=0.100762 s

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

[startup+2393.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/275 51349
/proc/meminfo: memFree=129648068/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51029] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51029/stat : 51029 (timeout) S 51026 51029 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55266545 2723840 352 18446744073709551615 94785479348224 94785479364737 140734654625488 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94785479379504 94785479381592 94785489309696 140734654634416 140734654634530 140734654634530 140734654640103 0
/proc/51029/statm: 665 352 352 5 0 90 0
[pid=51030] ppid=51029 vsize=39560 memory=31788 CPUtime=2388.49 cores=1,3
/proc/51030/stat : 51030 (NuPBO-DeepOptS+) R 51029 51029 50769 0 -1 4194304 7464 0 0 0 238848 1 0 0 20 0 1 0 55266545 40509440 7947 18446744073709551615 4198400 15468185 140736668887280 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53886976 140736668895676 140736668895777 140736668895777 140736668901350 0
/proc/51030/statm: 9890 7947 2816 2752 0 6543 0
Current children cumulated CPU time: 2388.49 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 36140 KiB

[startup+2400 s]*
/proc/loadavg: 4.14 4.12 4.09 5/275 51351
/proc/meminfo: memFree=129645664/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=2392.9 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 284 7699 0 0 0 0 239289 1 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51350] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51350/stat : 51350 (timeout) S 51026 51350 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55506346 2723840 352 18446744073709551615 93952088383488 93952088400001 140736055970208 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93952088414768 93952088416856 93952104484864 140736055978371 140736055978530 140736055978530 140736055984103 0
/proc/51350/statm: 665 352 352 5 0 90 0
[pid=51351] ppid=51350 vsize=70472 memory=38288 CPUtime=1.94 cores=1,3
/proc/51351/stat : 51351 (ExactPR-nols) R 51350 51350 50769 0 -1 4194304 6193 0 0 0 192 2 0 0 20 0 1 0 55506346 72163328 9572 18446744073709551615 94242200002560 94242209302213 140723238639472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242211088704 94242211127784 94242250342400 140723238648216 140723238648356 140723238648356 140723238653929 0
/proc/51351/statm: 17618 9572 1856 2271 0 12256 0
Current children cumulated CPU time: 2394.84 s
Current children cumulated vsize: 77456 KiB
Current children cumulated memory: 42640 KiB

[startup+2401.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/275 51351
/proc/meminfo: memFree=129637792/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=2392.9 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 284 7699 0 0 0 0 239289 1 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51350] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51350/stat : 51350 (timeout) S 51026 51350 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55506346 2723840 352 18446744073709551615 93952088383488 93952088400001 140736055970208 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93952088414768 93952088416856 93952104484864 140736055978371 140736055978530 140736055978530 140736055984103 0
/proc/51350/statm: 665 352 352 5 0 90 0
[pid=51351] ppid=51350 vsize=77788 memory=48612 CPUtime=3.54 cores=1,3
/proc/51351/stat : 51351 (ExactPR-nols) R 51350 51350 50769 0 -1 4194304 7748 0 0 0 350 4 0 0 20 0 1 0 55506346 79654912 12153 18446744073709551615 94242200002560 94242209302213 140723238639472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242211088704 94242211127784 94242250342400 140723238648216 140723238648356 140723238648356 140723238653929 0
/proc/51351/statm: 19447 12153 1856 2271 0 14085 0
Current children cumulated CPU time: 2396.44 s
Current children cumulated vsize: 84772 KiB
Current children cumulated memory: 52964 KiB

[startup+2403.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/275 51351
/proc/meminfo: memFree=129629728/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=2392.9 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 284 7699 0 0 0 0 239289 1 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51350] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51350/stat : 51350 (timeout) S 51026 51350 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55506346 2723840 352 18446744073709551615 93952088383488 93952088400001 140736055970208 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93952088414768 93952088416856 93952104484864 140736055978371 140736055978530 140736055978530 140736055984103 0
/proc/51350/statm: 665 352 352 5 0 90 0
[pid=51351] ppid=51350 vsize=82768 memory=56520 CPUtime=5.14 cores=1,3
/proc/51351/stat : 51351 (ExactPR-nols) R 51350 51350 50769 0 -1 4194304 9227 0 0 0 508 6 0 0 20 0 1 0 55506346 84754432 14130 18446744073709551615 94242200002560 94242209302213 140723238639472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242211088704 94242211127784 94242250342400 140723238648216 140723238648356 140723238648356 140723238653929 0
/proc/51351/statm: 20692 14130 1856 2271 0 15330 0
Current children cumulated CPU time: 2398.04 s
Current children cumulated vsize: 89752 KiB
Current children cumulated memory: 60872 KiB

[startup+2403.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/275 51351
/proc/meminfo: memFree=129629728/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=2392.9 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 284 7699 0 0 0 0 239289 1 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51350] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51350/stat : 51350 (timeout) S 51026 51350 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55506346 2723840 352 18446744073709551615 93952088383488 93952088400001 140736055970208 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93952088414768 93952088416856 93952104484864 140736055978371 140736055978530 140736055978530 140736055984103 0
/proc/51350/statm: 665 352 352 5 0 90 0
[pid=51351] ppid=51350 vsize=83212 memory=57544 CPUtime=5.53 cores=1,3
/proc/51351/stat : 51351 (ExactPR-nols) R 51350 51350 50769 0 -1 4194304 9491 0 0 0 547 6 0 0 20 0 1 0 55506346 85209088 14386 18446744073709551615 94242200002560 94242209302213 140723238639472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242211088704 94242211127784 94242250342400 140723238648216 140723238648356 140723238648356 140723238653929 0
/proc/51351/statm: 20803 14386 1856 2271 0 15441 0
Current children cumulated CPU time: 2398.43 s
Current children cumulated vsize: 90196 KiB
Current children cumulated memory: 61896 KiB

[startup+2404 s]*
/proc/loadavg: 4.13 4.11 4.09 5/275 51351
/proc/meminfo: memFree=129621536/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=2392.9 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 284 7699 0 0 0 0 239289 1 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
[pid=51350] ppid=51026 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/51350/stat : 51350 (timeout) S 51026 51350 50769 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 55506346 2723840 352 18446744073709551615 93952088383488 93952088400001 140736055970208 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93952088414768 93952088416856 93952104484864 140736055978371 140736055978530 140736055978530 140736055984103 0
/proc/51350/statm: 665 352 352 5 0 90 0
[pid=51351] ppid=51350 vsize=96584 memory=60900 CPUtime=5.93 cores=1,3
/proc/51351/stat : 51351 (ExactPR-nols) R 51350 51350 50769 0 -1 4194304 10027 0 0 0 587 6 0 0 20 0 1 0 55506346 98902016 15225 18446744073709551615 94242200002560 94242209302213 140723238639472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94242211088704 94242211127784 94242250342400 140723238648216 140723238648356 140723238648356 140723238653929 0
/proc/51351/statm: 24146 15225 1856 2271 0 18784 0
Current children cumulated CPU time: 2398.83 s
Current children cumulated vsize: 103568 KiB
Current children cumulated memory: 65252 KiB

[startup+2404.11 s]
/proc/loadavg: 4.13 4.11 4.09 5/275 51351
/proc/meminfo: memFree=129621536/131250000 swapFree=33007332/33010684
[pid=51026] ppid=51023 vsize=4324 memory=2944 CPUtime=2398.94 cores=1,3
/proc/51026/stat : 51026 (Hybrid-NuPBODee) S 51023 51026 50769 0 -1 4194304 330 18249 0 0 0 0 239885 9 20 0 1 0 55266543 4427776 736 18446744073709551615 93911934935040 93911935829573 140729644927040 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 93911936068624 93911936116368 93911959085056 140729644931419 140729644931571 140729644931571 140729644937173 0
/proc/51026/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2398.94 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2404.14
CPU time (s): 2398.96
CPU user time (s): 2398.86
CPU system time (s): 0.100762
CPU usage (%): 99.7844
Max. virtual memory (cumulated for all children) (KiB): 103568
Max. memory (cumulated for all children) (KiB): 65252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.86
system time used= 0.100762
maximum resident set size= 75536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 920
involuntary context switches= 2977


# summary of solver processes directly reported to runsolver:
#   pid: 51026
#   total CPU time (s): 2398.96
#   total CPU user time (s): 2398.86
#   total CPU system time (s): 0.100762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26405 second user time and 9.91711 second system time

The end