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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523729-1751608825/watcher-4523729-1751608825 -o /tmp/evaluation-result-4523729-1751608825/solver-4523729-1751608825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751601628-85128 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523729-1751608825.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=86069, runsolver pid=86066

[startup+0.100058 s]*
/proc/loadavg: 4.10 4.14 4.10 5/272 86073
/proc/meminfo: memFree=127461140/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=25560 memory=7144 CPUtime=0.08 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 1271 0 0 0 8 0 0 0 20 0 1 0 76560349 26173440 1786 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 6390 1786 1088 2752 0 3043 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32544 KiB
Current children cumulated memory: 11496 KiB

[startup+0.20578 s]*
/proc/loadavg: 4.10 4.14 4.10 5/272 86073
/proc/meminfo: memFree=127461140/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=27604 memory=10788 CPUtime=0.19 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 2186 0 0 0 19 0 0 0 20 0 1 0 76560349 28266496 2697 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 6901 2697 1088 2752 0 3554 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34588 KiB
Current children cumulated memory: 15140 KiB

[startup+0.305792 s]*
/proc/loadavg: 4.10 4.14 4.10 5/272 86073
/proc/meminfo: memFree=127461140/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=27604 memory=12836 CPUtime=0.29 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 2187 0 0 0 29 0 0 0 20 0 1 0 76560349 28266496 3209 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 6901 3209 1088 2752 0 3554 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34588 KiB
Current children cumulated memory: 17188 KiB

[startup+0.700234 s]
/proc/loadavg: 4.10 4.14 4.10 5/272 86073
/proc/meminfo: memFree=127453072/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=79500 memory=62448 CPUtime=0.67 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 7470 0 0 0 66 1 0 0 20 0 1 0 76560349 81408000 15612 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 19875 15612 1088 2752 0 16528 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86484 KiB
Current children cumulated memory: 66800 KiB

[startup+1.50024 s]
/proc/loadavg: 4.10 4.14 4.10 5/272 86073
/proc/meminfo: memFree=127412620/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=79500 memory=62704 CPUtime=1.47 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 7474 0 0 0 146 1 0 0 20 0 1 0 76560349 81408000 15676 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 19875 15676 1152 2752 0 16528 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86484 KiB
Current children cumulated memory: 67056 KiB

[startup+3.10567 s]
/proc/loadavg: 4.10 4.14 4.10 5/272 86073
/proc/meminfo: memFree=127112840/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=406932 memory=365208 CPUtime=3.08 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 55123 0 0 0 297 11 0 0 20 0 1 0 76560349 416698368 91302 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 101733 91302 2752 2752 0 98386 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 413916 KiB
Current children cumulated memory: 369560 KiB

[startup+6.30025 s]
/proc/loadavg: 4.09 4.14 4.10 5/272 86073
/proc/meminfo: memFree=126988448/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=536188 memory=493724 CPUtime=6.26 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 84234 0 0 0 609 17 0 0 20 0 1 0 76560349 549056512 123431 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 134047 123431 2816 2752 0 130700 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 543172 KiB
Current children cumulated memory: 498076 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.10 5/272 86073
/proc/meminfo: memFree=126882092/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=641932 memory=596692 CPUtime=12.64 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 109611 0 0 0 1243 21 0 0 20 0 1 0 76560349 657338368 149173 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 160483 149173 2816 2752 0 157136 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 648916 KiB
Current children cumulated memory: 601044 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.10 5/273 86077
/proc/meminfo: memFree=127537384/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=659616 memory=613588 CPUtime=25.41 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 113865 0 0 0 2519 22 0 0 20 0 1 0 76560349 675446784 153397 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 164904 153397 2848 2752 0 161557 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 666600 KiB
Current children cumulated memory: 617940 KiB

[startup+51.1059 s]
/proc/loadavg: 4.02 4.12 4.09 5/272 86146
/proc/meminfo: memFree=127500900/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=726384 memory=679240 CPUtime=50.94 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 136504 0 0 0 5069 25 0 0 20 0 1 0 76560349 743817216 169810 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 181596 169810 2848 2752 0 178249 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 733368 KiB
Current children cumulated memory: 683592 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/272 86148
/proc/meminfo: memFree=127338612/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6

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

/proc/86073/statm: 198707 196574 3168 2752 0 195360 0
Current children cumulated CPU time: 2197.4 s
Current children cumulated vsize: 801812 KiB
Current children cumulated memory: 790648 KiB

[startup+2262.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 86391
/proc/meminfo: memFree=126423216/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=794828 memory=786296 CPUtime=2257.28 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 196858 0 0 0 225691 37 0 0 20 0 1 0 76560349 813903872 196574 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 198707 196574 3168 2752 0 195360 0
Current children cumulated CPU time: 2257.28 s
Current children cumulated vsize: 801812 KiB
Current children cumulated memory: 790648 KiB

[startup+2322.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/271 86393
/proc/meminfo: memFree=126417408/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=794828 memory=786296 CPUtime=2317.17 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 196858 0 0 0 231680 37 0 0 20 0 1 0 76560349 813903872 196574 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 198707 196574 3168 2752 0 195360 0
Current children cumulated CPU time: 2317.17 s
Current children cumulated vsize: 801812 KiB
Current children cumulated memory: 790648 KiB

[startup+2382.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/271 86395
/proc/meminfo: memFree=126444060/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=794828 memory=786296 CPUtime=2377.05 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 196875 0 0 0 237668 37 0 0 20 0 1 0 76560349 813903872 196574 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 198707 196574 3168 2752 0 195360 0
Current children cumulated CPU time: 2377.05 s
Current children cumulated vsize: 801812 KiB
Current children cumulated memory: 790648 KiB

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

# cumulated CPU time of all completed processes:  user=2398.33 s, system=0.436932 s

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

[startup+2393.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 86395
/proc/meminfo: memFree=126444068/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86072] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86072/stat : 86072 (timeout) S 86069 86072 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76560348 2723840 320 18446744073709551615 94160936767488 94160936784001 140727967063104 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94160936798768 94160936800856 94160968884224 140727967070640 140727967070754 140727967070754 140727967076327 0
/proc/86072/statm: 665 320 320 5 0 90 0
[pid=86073] ppid=86072 vsize=794828 memory=786296 CPUtime=2388.33 cores=4,6
/proc/86073/stat : 86073 (NuPBO-DeepOptS+) R 86072 86072 85114 0 -1 4194304 196875 0 0 0 238796 37 0 0 20 0 1 0 76560349 813903872 196574 18446744073709551615 4198400 15468185 140735049367024 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26980352 140735049370044 140735049370145 140735049370145 140735049375718 0
/proc/86073/statm: 198707 196574 3168 2752 0 195360 0
Current children cumulated CPU time: 2388.33 s
Current children cumulated vsize: 801812 KiB
Current children cumulated memory: 790648 KiB

[startup+2400 s]*
/proc/loadavg: 4.11 4.11 4.09 5/272 86399
/proc/meminfo: memFree=127183748/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=2392.76 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 281 197213 0 0 0 0 239238 38 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86398] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86398/stat : 86398 (timeout) S 86069 86398 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76800150 2723840 320 18446744073709551615 94203946389504 94203946406017 140727204260400 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94203946420784 94203946422872 94203952451584 140727204264323 140727204264482 140727204264482 140727204270055 0
/proc/86398/statm: 665 320 320 5 0 90 0
[pid=86399] ppid=86398 vsize=91156 memory=57900 CPUtime=1.95 cores=4,6
/proc/86399/stat : 86399 (ExactPR-nols) R 86398 86398 85114 0 -1 4194304 14004 0 0 0 192 3 0 0 20 0 1 0 76800150 93343744 14475 18446744073709551615 94549773426688 94549782726341 140721117678272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94549784512832 94549784551912 94549793890304 140721117682072 140721117682212 140721117682212 140721117687785 0
/proc/86399/statm: 22789 14475 1888 2271 0 17427 0
Current children cumulated CPU time: 2394.71 s
Current children cumulated vsize: 98140 KiB
Current children cumulated memory: 62252 KiB

[startup+2401.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 86399
/proc/meminfo: memFree=127175556/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=2392.76 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 281 197213 0 0 0 0 239238 38 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86398] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86398/stat : 86398 (timeout) S 86069 86398 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76800150 2723840 320 18446744073709551615 94203946389504 94203946406017 140727204260400 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94203946420784 94203946422872 94203952451584 140727204264323 140727204264482 140727204264482 140727204270055 0
/proc/86398/statm: 665 320 320 5 0 90 0
[pid=86399] ppid=86398 vsize=95204 memory=66048 CPUtime=3.54 cores=4,6
/proc/86399/stat : 86399 (ExactPR-nols) R 86398 86398 85114 0 -1 4194304 15492 0 0 0 351 3 0 0 20 0 1 0 76800150 97488896 16512 18446744073709551615 94549773426688 94549782726341 140721117678272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94549784512832 94549784551912 94549793890304 140721117682072 140721117682212 140721117682212 140721117687785 0
/proc/86399/statm: 23801 16512 1888 2271 0 18439 0
Current children cumulated CPU time: 2396.3 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 70400 KiB

[startup+2403.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 86399
/proc/meminfo: memFree=127175308/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=2392.76 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 281 197213 0 0 0 0 239238 38 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86398] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86398/stat : 86398 (timeout) S 86069 86398 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76800150 2723840 320 18446744073709551615 94203946389504 94203946406017 140727204260400 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94203946420784 94203946422872 94203952451584 140727204264323 140727204264482 140727204264482 140727204270055 0
/proc/86398/statm: 665 320 320 5 0 90 0
[pid=86399] ppid=86398 vsize=95204 memory=66048 CPUtime=5.13 cores=4,6
/proc/86399/stat : 86399 (ExactPR-nols) R 86398 86398 85114 0 -1 4194304 15492 0 0 0 510 3 0 0 20 0 1 0 76800150 97488896 16512 18446744073709551615 94549773426688 94549782726341 140721117678272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94549784512832 94549784551912 94549793890304 140721117682072 140721117682212 140721117682212 140721117687785 0
/proc/86399/statm: 23801 16512 1888 2271 0 18439 0
Current children cumulated CPU time: 2397.89 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 70400 KiB

[startup+2403.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 86399
/proc/meminfo: memFree=127175308/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=2392.76 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 281 197213 0 0 0 0 239238 38 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86398] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86398/stat : 86398 (timeout) S 86069 86398 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76800150 2723840 320 18446744073709551615 94203946389504 94203946406017 140727204260400 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94203946420784 94203946422872 94203952451584 140727204264323 140727204264482 140727204264482 140727204270055 0
/proc/86398/statm: 665 320 320 5 0 90 0
[pid=86399] ppid=86398 vsize=95204 memory=66048 CPUtime=5.53 cores=4,6
/proc/86399/stat : 86399 (ExactPR-nols) R 86398 86398 85114 0 -1 4194304 15492 0 0 0 550 3 0 0 20 0 1 0 76800150 97488896 16512 18446744073709551615 94549773426688 94549782726341 140721117678272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94549784512832 94549784551912 94549793890304 140721117682072 140721117682212 140721117682212 140721117687785 0
/proc/86399/statm: 23801 16512 1888 2271 0 18439 0
Current children cumulated CPU time: 2398.29 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 70400 KiB

[startup+2404 s]*
/proc/loadavg: 4.10 4.11 4.09 5/272 86399
/proc/meminfo: memFree=127175308/131249996 swapFree=33000896/33010684
[pid=86069] ppid=86066 vsize=4324 memory=3072 CPUtime=2392.76 cores=4,6
/proc/86069/stat : 86069 (Hybrid-NuPBODee) S 86066 86069 85114 0 -1 4194304 281 197213 0 0 0 0 239238 38 20 0 1 0 76560347 4427776 768 18446744073709551615 94588480049152 94588480943685 140728392415680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94588481182736 94588481230480 94588501807104 140728392419675 140728392419827 140728392419827 140728392425429 0
/proc/86069/statm: 1081 768 704 219 0 143 0
[pid=86398] ppid=86069 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/86398/stat : 86398 (timeout) S 86069 86398 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76800150 2723840 320 18446744073709551615 94203946389504 94203946406017 140727204260400 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94203946420784 94203946422872 94203952451584 140727204264323 140727204264482 140727204264482 140727204270055 0
/proc/86398/statm: 665 320 320 5 0 90 0
[pid=86399] ppid=86398 vsize=95204 memory=66048 CPUtime=5.94 cores=4,6
/proc/86399/stat : 86399 (ExactPR-nols) R 86398 86398 85114 0 -1 4194304 15492 0 0 0 591 3 0 0 20 0 1 0 76800150 97488896 16512 18446744073709551615 94549773426688 94549782726341 140721117678272 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94549784512832 94549784551912 94549793890304 140721117682072 140721117682212 140721117682212 140721117687785 0
/proc/86399/statm: 23801 16512 1888 2271 0 18439 0
Current children cumulated CPU time: 2398.7 s
Current children cumulated vsize: 102188 KiB
Current children cumulated memory: 70400 KiB

Child status: 0

Real time (s): 2404.07
CPU time (s): 2398.77
CPU user time (s): 2398.33
CPU system time (s): 0.436932
CPU usage (%): 99.7794
Max. virtual memory (cumulated for all children) (KiB): 950956
Max. memory (cumulated for all children) (KiB): 917840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.33
system time used= 0.436932
maximum resident set size= 913488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214321
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 950
involuntary context switches= 797


# summary of solver processes directly reported to runsolver:
#   pid: 86069
#   total CPU time (s): 2398.77
#   total CPU user time (s): 2398.33
#   total CPU system time (s): 0.436932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81664 second user time and 11.091 second system time

The end