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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518761-1751547848/watcher-4518761-1751547848 -o /tmp/evaluation-result-4518761-1751547848/solver-4518761-1751547848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751543047-91897 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4518761-1751547848.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
Current StackSize limit: 8192 KiB

solver pid=92612, runsolver pid=92609

[startup+0.100062 s]*
/proc/loadavg: 4.18 4.23 4.11 5/275 92616
/proc/meminfo: memFree=128545784/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=36988 memory=27832 CPUtime=0.08 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 5200 0 0 0 8 0 0 0 20 0 1 0 70462349 37875712 6958 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 9247 6958 2816 2752 0 5900 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43972 KiB
Current children cumulated memory: 32184 KiB

[startup+0.205853 s]*
/proc/loadavg: 4.18 4.23 4.11 5/275 92616
/proc/meminfo: memFree=128535956/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=48480 memory=39096 CPUtime=0.19 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 8033 0 0 0 18 1 0 0 20 0 1 0 70462349 49643520 9774 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 12120 9774 2816 2752 0 8773 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55464 KiB
Current children cumulated memory: 43448 KiB

[startup+0.30583 s]*
/proc/loadavg: 4.18 4.23 4.11 5/275 92616
/proc/meminfo: memFree=128521844/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=59592 memory=50104 CPUtime=0.28 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 10762 0 0 0 27 1 0 0 20 0 1 0 70462349 61022208 12526 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 14898 12526 2816 2752 0 11551 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 66576 KiB
Current children cumulated memory: 54456 KiB

[startup+0.700226 s]
/proc/loadavg: 4.18 4.23 4.11 5/275 92616
/proc/meminfo: memFree=128505464/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=79492 memory=69432 CPUtime=0.67 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 15605 0 0 0 65 2 0 0 20 0 1 0 70462349 81399808 17358 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 19873 17358 2816 2752 0 16526 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86476 KiB
Current children cumulated memory: 73784 KiB

[startup+1.50016 s]
/proc/loadavg: 4.18 4.23 4.11 5/275 92616
/proc/meminfo: memFree=128485240/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=103192 memory=92600 CPUtime=1.46 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 21398 0 0 0 144 2 0 0 20 0 1 0 70462349 105668608 23150 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 25798 23150 2816 2752 0 22451 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 110176 KiB
Current children cumulated memory: 96952 KiB

[startup+3.10566 s]
/proc/loadavg: 4.16 4.22 4.11 5/275 92616
/proc/meminfo: memFree=128445100/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=109816 memory=99768 CPUtime=3.07 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 23191 0 0 0 304 3 0 0 20 0 1 0 70462349 112451584 24942 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 27454 24942 2816 2752 0 24107 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 116800 KiB
Current children cumulated memory: 104120 KiB

[startup+6.30023 s]
/proc/loadavg: 4.16 4.22 4.11 5/275 92616
/proc/meminfo: memFree=128414888/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=135676 memory=125168 CPUtime=6.25 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 29680 0 0 0 621 4 0 0 20 0 1 0 70462349 138932224 31292 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 33919 31292 2816 2752 0 30572 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 142660 KiB
Current children cumulated memory: 129520 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.22 4.11 5/275 92616
/proc/meminfo: memFree=128379104/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=150056 memory=140144 CPUtime=12.63 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 33416 0 0 0 1258 5 0 0 20 0 1 0 70462349 153657344 35036 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 37514 35036 2816 2752 0 34167 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 157040 KiB
Current children cumulated memory: 144496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.21 4.11 5/276 92675
/proc/meminfo: memFree=128233468/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=162476 memory=152732 CPUtime=25.38 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 38975 0 0 0 2532 6 0 0 20 0 1 0 70462349 166375424 38183 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 40619 38183 2816 2752 0 37272 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 169460 KiB
Current children cumulated memory: 157084 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.20 4.11 5/276 92676
/proc/meminfo: memFree=128170460/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=130752 memory=122164 CPUtime=50.9 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 41997 0 0 0 5083 7 0 0 20 0 1 0 70462349 133890048 30541 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 32688 30541 2816 2752 0 29341 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 137736 KiB
Current children cumulated memory: 126516 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.19 4.10 5/276 92678
/proc/meminfo: memFree=128097512/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92615] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92615/stat : 92615 (timeout) S 92612 92615 91671 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70462348 2723840 352 18446744073709551615 94523127177216 94523127193729 140720713796464 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94523127208496 94523127210584 94523129425920 140720713804208 140720713804322 140720713804322 140720713809895 0
/proc/92615/statm: 665 352 352 5 0 90 0
[pid=92616] ppid=92615 vsize=130752 memory=122932 CPUtime=2377.08 cores=1,3
/proc/92616/stat : 92616 (NuPBO-DeepOptS+) R 92615 92615 91671 0 -1 4194304 42013 0 0 0 237701 7 0 0 20 0 1 0 70462349 133890048 30733 18446744073709551615 4198400 15468185 140726594962960 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30887936 140726594972092 140726594972193 140726594972193 140726594977766 0
/proc/92616/statm: 32688 30733 2816 2752 0 29341 0
Current children cumulated CPU time: 2377.08 s
Current children cumulated vsize: 137736 KiB
Current children cumulated memory: 127284 KiB

[startup+2442.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/274 92868
/proc/meminfo: memFree=129100368/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2392.77 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 283 42268 0 0 0 0 239270 7 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92862] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92862/stat : 92862 (timeout) S 92612 92862 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70702149 2723840 352 18446744073709551615 94431909801984 94431909818497 140720744187168 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94431909833264 94431909835352 94431940665344 140720744192387 140720744192546 140720744192546 140720744198119 0
/proc/92862/statm: 665 352 352 5 0 90 0
[pid=92863] ppid=92862 vsize=100428 memory=67188 CPUtime=44.13 cores=1,3
/proc/92863/stat : 92863 (ExactPR-nols) R 92862 92862 91671 0 -1 4194304 5597 0 0 0 4359 54 0 0 20 0 1 0 70702149 102838272 16797 18446744073709551615 94255993540608 94256002840261 140730147237264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94256004626752 94256004665832 94256035102720 140730147240344 140730147240484 140730147240484 140730147246057 0
/proc/92863/statm: 25107 16797 1856 2271 0 19745 0
Current children cumulated CPU time: 2436.9 s
Current children cumulated vsize: 107412 KiB
Current children cumulated memory: 71540 KiB

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

# cumulated CPU time of all completed processes:  user=2493.7 s, system=1.36416 s

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

[startup+2457.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 92926
/proc/meminfo: memFree=129164504/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2392.77 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 283 42268 0 0 0 0 239270 7 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92862] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92862/stat : 92862 (timeout) S 92612 92862 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70702149 2723840 352 18446744073709551615 94431909801984 94431909818497 140720744187168 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94431909833264 94431909835352 94431940665344 140720744192387 140720744192546 140720744192546 140720744198119 0
/proc/92862/statm: 665 352 352 5 0 90 0
[pid=92863] ppid=92862 vsize=101000 memory=69748 CPUtime=59.39 cores=1,3
/proc/92863/stat : 92863 (ExactPR-nols) R 92862 92862 91671 0 -1 4194304 5746 0 0 0 5864 75 0 0 20 0 1 0 70702149 103424000 17437 18446744073709551615 94255993540608 94256002840261 140730147237264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94256004626752 94256004665832 94256035102720 140730147240344 140730147240484 140730147240484 140730147246057 0
/proc/92863/statm: 25250 17437 1856 2271 0 19888 0
Current children cumulated CPU time: 2452.16 s
Current children cumulated vsize: 107984 KiB
Current children cumulated memory: 74100 KiB

[startup+2483.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 92926
/proc/meminfo: memFree=129087464/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2392.77 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 283 42268 0 0 0 0 239270 7 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92862] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92862/stat : 92862 (timeout) S 92612 92862 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70702149 2723840 352 18446744073709551615 94431909801984 94431909818497 140720744187168 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94431909833264 94431909835352 94431940665344 140720744192387 140720744192546 140720744192546 140720744198119 0
/proc/92862/statm: 665 352 352 5 0 90 0
[pid=92863] ppid=92862 vsize=102932 memory=71796 CPUtime=84.92 cores=1,3
/proc/92863/stat : 92863 (ExactPR-nols) R 92862 92862 91671 0 -1 4194304 6256 0 0 0 8384 108 0 0 20 0 1 0 70702149 105402368 17949 18446744073709551615 94255993540608 94256002840261 140730147237264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94256004626752 94256004665832 94256035102720 140730147240344 140730147240484 140730147240484 140730147246057 0
/proc/92863/statm: 25733 17949 1856 2271 0 20371 0
Current children cumulated CPU time: 2477.69 s
Current children cumulated vsize: 109916 KiB
Current children cumulated memory: 76148 KiB

[startup+2489.6 s]
/proc/loadavg: 4.06 4.10 4.09 5/272 92926
/proc/meminfo: memFree=129075304/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2392.77 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 283 42268 0 0 0 0 239270 7 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92862] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92862/stat : 92862 (timeout) S 92612 92862 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70702149 2723840 352 18446744073709551615 94431909801984 94431909818497 140720744187168 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94431909833264 94431909835352 94431940665344 140720744192387 140720744192546 140720744192546 140720744198119 0
/proc/92862/statm: 665 352 352 5 0 90 0
[pid=92863] ppid=92862 vsize=104392 memory=72948 CPUtime=91.31 cores=1,3
/proc/92863/stat : 92863 (ExactPR-nols) R 92862 92862 91671 0 -1 4194304 6550 0 0 0 9014 117 0 0 20 0 1 0 70702149 106897408 18237 18446744073709551615 94255993540608 94256002840261 140730147237264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94256004626752 94256004665832 94256035102720 140730147240344 140730147240484 140730147240484 140730147246057 0
/proc/92863/statm: 26098 18237 1856 2271 0 20736 0
Current children cumulated CPU time: 2484.08 s
Current children cumulated vsize: 111376 KiB
Current children cumulated memory: 77300 KiB

[startup+2496 s]*
/proc/loadavg: 4.06 4.09 4.09 5/273 92928
/proc/meminfo: memFree=129063144/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2392.77 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 283 42268 0 0 0 0 239270 7 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92862] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92862/stat : 92862 (timeout) S 92612 92862 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70702149 2723840 352 18446744073709551615 94431909801984 94431909818497 140720744187168 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94431909833264 94431909835352 94431940665344 140720744192387 140720744192546 140720744192546 140720744198119 0
/proc/92862/statm: 665 352 352 5 0 90 0
[pid=92863] ppid=92862 vsize=105672 memory=74356 CPUtime=97.69 cores=1,3
/proc/92863/stat : 92863 (ExactPR-nols) R 92862 92862 91671 0 -1 4194304 6879 0 0 0 9646 123 0 0 20 0 1 0 70702149 108208128 18589 18446744073709551615 94255993540608 94256002840261 140730147237264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94256004626752 94256004665832 94256035102720 140730147240344 140730147240484 140730147240484 140730147246057 0
/proc/92863/statm: 26418 18589 1856 2271 0 21056 0
Current children cumulated CPU time: 2490.46 s
Current children cumulated vsize: 112656 KiB
Current children cumulated memory: 78708 KiB

[startup+2499.2 s]
/proc/loadavg: 4.05 4.09 4.09 5/273 92928
/proc/meminfo: memFree=129059064/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2392.77 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 283 42268 0 0 0 0 239270 7 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92862] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92862/stat : 92862 (timeout) S 92612 92862 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70702149 2723840 352 18446744073709551615 94431909801984 94431909818497 140720744187168 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94431909833264 94431909835352 94431940665344 140720744192387 140720744192546 140720744192546 140720744198119 0
/proc/92862/statm: 665 352 352 5 0 90 0
[pid=92863] ppid=92862 vsize=106120 memory=74612 CPUtime=100.88 cores=1,3
/proc/92863/stat : 92863 (ExactPR-nols) R 92862 92862 91671 0 -1 4194304 6961 0 0 0 9962 126 0 0 20 0 1 0 70702149 108666880 18653 18446744073709551615 94255993540608 94256002840261 140730147237264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94256004626752 94256004665832 94256035102720 140730147240344 140730147240484 140730147240484 140730147246057 0
/proc/92863/statm: 26530 18653 1856 2271 0 21168 0
Current children cumulated CPU time: 2493.65 s
Current children cumulated vsize: 113104 KiB
Current children cumulated memory: 78964 KiB

[startup+2500 s]*
/proc/loadavg: 4.05 4.09 4.09 5/273 92928
/proc/meminfo: memFree=129059064/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2392.77 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 283 42268 0 0 0 0 239270 7 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92862] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92862/stat : 92862 (timeout) S 92612 92862 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70702149 2723840 352 18446744073709551615 94431909801984 94431909818497 140720744187168 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94431909833264 94431909835352 94431940665344 140720744192387 140720744192546 140720744192546 140720744198119 0
/proc/92862/statm: 665 352 352 5 0 90 0
[pid=92863] ppid=92862 vsize=106120 memory=74612 CPUtime=101.68 cores=1,3
/proc/92863/stat : 92863 (ExactPR-nols) R 92862 92862 91671 0 -1 4194304 6961 0 0 0 10042 126 0 0 20 0 1 0 70702149 108666880 18653 18446744073709551615 94255993540608 94256002840261 140730147237264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94256004626752 94256004665832 94256035102720 140730147240344 140730147240484 140730147240484 140730147246057 0
/proc/92863/statm: 26530 18653 1856 2271 0 21168 0
Current children cumulated CPU time: 2494.45 s
Current children cumulated vsize: 113104 KiB
Current children cumulated memory: 78964 KiB

[startup+2500.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/273 92928
/proc/meminfo: memFree=129059064/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2392.77 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 283 42268 0 0 0 0 239270 7 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
[pid=92862] ppid=92612 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/92862/stat : 92862 (timeout) S 92612 92862 91671 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70702149 2723840 352 18446744073709551615 94431909801984 94431909818497 140720744187168 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94431909833264 94431909835352 94431940665344 140720744192387 140720744192546 140720744192546 140720744198119 0
/proc/92862/statm: 665 352 352 5 0 90 0
[pid=92863] ppid=92862 vsize=106120 memory=74612 CPUtime=102.08 cores=1,3
/proc/92863/stat : 92863 (ExactPR-nols) R 92862 92862 91671 0 -1 4194304 6961 0 0 0 10081 127 0 0 20 0 1 0 70702149 108666880 18653 18446744073709551615 94255993540608 94256002840261 140730147237264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94256004626752 94256004665832 94256035102720 140730147240344 140730147240484 140730147240484 140730147246057 0
/proc/92863/statm: 26530 18653 1856 2271 0 21168 0
Current children cumulated CPU time: 2494.85 s
Current children cumulated vsize: 113104 KiB
Current children cumulated memory: 78964 KiB

[startup+2500.6 s]
/proc/loadavg: 4.05 4.09 4.09 5/273 92928
/proc/meminfo: memFree=129059064/131250000 swapFree=33010160/33010684
[pid=92612] ppid=92609 vsize=4324 memory=2944 CPUtime=2495.05 cores=1,3
/proc/92612/stat : 92612 (Hybrid-NuPBODee) S 92609 92612 91671 0 -1 4194304 329 49703 0 0 0 0 249370 135 20 0 1 0 70462347 4427776 736 18446744073709551615 94179204694016 94179205588549 140732693965568 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 94179205827600 94179205875344 94179232669696 140732693973339 140732693973491 140732693973491 140732693979093 0
/proc/92612/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2495.05 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2500.63
CPU time (s): 2495.07
CPU user time (s): 2493.7
CPU system time (s): 1.36416
CPU usage (%): 99.7777
Max. virtual memory (cumulated for all children) (KiB): 181312
Max. memory (cumulated for all children) (KiB): 169116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2493.7
system time used= 1.36416
maximum resident set size= 164764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 957
involuntary context switches= 13809


# summary of solver processes directly reported to runsolver:
#   pid: 92612
#   total CPU time (s): 2495.07
#   total CPU user time (s): 2493.7
#   total CPU system time (s): 1.36416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.13038 second user time and 9.77486 second system time

The end