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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486591-1751327394/watcher-4486591-1751327394 -o /tmp/evaluation-result-4486591-1751327394/solver-4486591-1751327394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751327394-47562 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4486591-1751327394.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100061 s]*
/proc/loadavg: 0.74 1.56 2.65 5/273 47631
/proc/meminfo: memFree=128420236/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=22924 memory=8656 CPUtime=0.06 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 1385 0 0 0 6 0 0 0 20 0 1 0 48418102 23474176 2164 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 5731 2164 1152 2752 0 2384 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29908 KiB
Current children cumulated memory: 13136 KiB

[startup+0.205549 s]*
/proc/loadavg: 0.74 1.56 2.65 5/273 47631
/proc/meminfo: memFree=128394300/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=22924 memory=8656 CPUtime=0.17 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 1385 0 0 0 17 0 0 0 20 0 1 0 48418102 23474176 2164 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 5731 2164 1152 2752 0 2384 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 29908 KiB
Current children cumulated memory: 13136 KiB

[startup+0.305036 s]*
/proc/loadavg: 0.74 1.56 2.65 5/273 47631
/proc/meminfo: memFree=128353476/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=44412 memory=34112 CPUtime=0.27 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 6463 0 0 0 26 1 0 0 20 0 1 0 48418102 45477888 8528 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 11103 8528 2720 2752 0 7756 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 51396 KiB
Current children cumulated memory: 38592 KiB

[startup+0.70024 s]
/proc/loadavg: 0.74 1.56 2.65 5/273 47631
/proc/meminfo: memFree=128328528/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=55892 memory=45752 CPUtime=0.65 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 9481 0 0 0 64 1 0 0 20 0 1 0 48418102 57233408 11438 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 13973 11438 2816 2752 0 10626 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 62876 KiB
Current children cumulated memory: 50232 KiB

[startup+1.50022 s]
/proc/loadavg: 1.00 1.60 2.65 5/273 47631
/proc/meminfo: memFree=128274408/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=56844 memory=46648 CPUtime=1.45 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 9688 0 0 0 144 1 0 0 20 0 1 0 48418102 58208256 11662 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 14211 11662 2816 2752 0 10864 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 63828 KiB
Current children cumulated memory: 51128 KiB

[startup+3.10547 s]
/proc/loadavg: 1.00 1.60 2.65 5/273 47631
/proc/meminfo: memFree=128069496/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=58916 memory=48696 CPUtime=3.05 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 10198 0 0 0 304 1 0 0 20 0 1 0 48418102 60329984 12174 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 14729 12174 2816 2752 0 11382 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 65900 KiB
Current children cumulated memory: 53176 KiB

[startup+6.30019 s]
/proc/loadavg: 1.25 1.64 2.66 5/273 47631
/proc/meminfo: memFree=127843400/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=60312 memory=49120 CPUtime=6.23 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 10560 0 0 0 622 1 0 0 20 0 1 0 48418102 61759488 12280 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 15078 12280 2816 2752 0 11731 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 67296 KiB
Current children cumulated memory: 53600 KiB

[startup+12.7002 s]
/proc/loadavg: 1.47 1.68 2.67 5/273 47631
/proc/meminfo: memFree=127819248/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=61060 memory=50272 CPUtime=12.61 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 10835 0 0 0 1260 1 0 0 20 0 1 0 48418102 62525440 12568 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 15265 12568 2816 2752 0 11918 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 68044 KiB
Current children cumulated memory: 54752 KiB

[startup+25.5002 s]
/proc/loadavg: 1.86 1.76 2.68 5/273 47631
/proc/meminfo: memFree=127738040/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=61836 memory=50912 CPUtime=25.37 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 11024 0 0 0 2536 1 0 0 20 0 1 0 48418102 63320064 12728 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 15459 12728 2816 2752 0 12112 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 68820 KiB
Current children cumulated memory: 55392 KiB

[startup+51.1055 s]
/proc/loadavg: 2.76 1.99 2.73 5/273 47632
/proc/meminfo: memFree=127698092/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47627/stat : 47627 (timeout) S 47615 47627 47549 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 48418101 2723840 352 18446744073709551615 94141287370752 94141287387265 140725431316224 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94141287402032 94141287404120 94141301850112 140725431318960 140725431319074 140725431319074 140725431324647 0
/proc/47627/statm: 665 352 352 5 0 90 0
[pid=47629] ppid=47627 vsize=101708 memory=89184 CPUtime=50.89 cores=5,7
/proc/47629/stat : 47629 (NuPBO-DeepOptS+) R 47627 47627 47549 0 -1 4194304 20537 0 0 0 5086 3 0 0 20 0 1 0 48418102 104148992 22296 18446744073709551615 4198400 15468185 140724408990880 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25014272 140724408998332 140724408998433 140724408998433 140724409004006 0
/proc/47629/statm: 25427 22296 2848 2752 0 22080 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 108692 KiB
Current children cumulated memory: 93664 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.32 2.81 5/273 47634
/proc/meminfo: memFree=127673044/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47627] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=86916 memory=59272 CPUtime=1061.43 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10443 0 0 0 105632 511 0 0 20 0 1 0 48657903 89001984 14818 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21729 14818 1952 2271 0 16367 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 93900 KiB
Current children cumulated memory: 63752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/272 47875
/proc/meminfo: memFree=128017112/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=2391.99 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 283 27587 0 0 0 0 239194 5 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=87380 memory=59784 CPUtime=1121.29 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10581 0 0 0 111617 512 0 0 20 0 1 0 48657903 89477120 14946 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21845 14946 1952 2271 0 16483 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 94364 KiB
Current children cumulated memory: 64264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/272 47877
/proc/meminfo: memFree=128023428/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=2391.99 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 283 27587 0 0 0 0 239194 5 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=87596 memory=60040 CPUtime=1181.13 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10645 0 0 0 117601 512 0 0 20 0 1 0 48657903 89698304 15010 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21899 15010 1952 2271 0 16537 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 64520 KiB

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

# cumulated CPU time of all completed processes:  user=3581.69 s, system=5.1952 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.04 5/272 47877
/proc/meminfo: memFree=128023476/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=2391.99 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 283 27587 0 0 0 0 239194 5 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=87596 memory=60040 CPUtime=1182.84 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10645 0 0 0 117772 512 0 0 20 0 1 0 48657903 89698304 15010 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21899 15010 1952 2271 0 16537 0
Current children cumulated CPU time: 3574.83 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 64520 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128023476/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=2391.99 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 283 27587 0 0 0 0 239194 5 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=87760 memory=60168 CPUtime=1189.21 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10655 0 0 0 118409 512 0 0 20 0 1 0 48657903 89866240 15042 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21940 15042 1952 2271 0 16578 0
Current children cumulated CPU time: 3581.2 s
Current children cumulated vsize: 94744 KiB
Current children cumulated memory: 64648 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128011188/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=2391.99 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 283 27587 0 0 0 0 239194 5 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=87760 memory=60168 CPUtime=1192.41 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10655 0 0 0 118729 512 0 0 20 0 1 0 48657903 89866240 15042 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21940 15042 1952 2271 0 16578 0
Current children cumulated CPU time: 3584.4 s
Current children cumulated vsize: 94744 KiB
Current children cumulated memory: 64648 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128019252/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=2391.99 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 283 27587 0 0 0 0 239194 5 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=87760 memory=60168 CPUtime=1194 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10655 0 0 0 118888 512 0 0 20 0 1 0 48657903 89866240 15042 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21940 15042 1952 2271 0 16578 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 94744 KiB
Current children cumulated memory: 64648 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128019252/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=2391.99 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 283 27587 0 0 0 0 239194 5 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=87760 memory=60168 CPUtime=1194.4 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10655 0 0 0 118928 512 0 0 20 0 1 0 48657903 89866240 15042 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21940 15042 1952 2271 0 16578 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 94744 KiB
Current children cumulated memory: 64648 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128019268/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=2391.99 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 283 27587 0 0 0 0 239194 5 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
[pid=47761] ppid=47615 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47761/stat : 47761 (timeout) S 47615 47761 47549 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48657902 2723840 352 18446744073709551615 94005137383424 94005137399937 140723834327536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94005137414704 94005137416792 94005163757568 140723834329475 140723834329634 140723834329634 140723834335207 0
/proc/47761/statm: 665 352 352 5 0 90 0
[pid=47762] ppid=47761 vsize=87760 memory=60168 CPUtime=1194.81 cores=5,7
/proc/47762/stat : 47762 (ExactPR-nols) R 47761 47761 47549 0 -1 4194304 10655 0 0 0 118969 512 0 0 20 0 1 0 48657903 89866240 15042 18446744073709551615 94829750956032 94829760255685 140733194168320 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829762042176 94829762081256 94829781155840 140733194172824 140733194172964 140733194172964 140733194178537 0
/proc/47762/statm: 21940 15042 1952 2271 0 16578 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 94744 KiB
Current children cumulated memory: 64648 KiB

[startup+3596.11 s]
/proc/loadavg: 4.07 4.08 4.04 5/272 47877
/proc/meminfo: memFree=128019268/131250000 swapFree=33010684/33010684
[pid=47615] ppid=47602 vsize=4324 memory=3072 CPUtime=3586.86 cores=5,7
/proc/47615/stat : 47615 (Hybrid-NuPBODee) S 47602 47615 47549 0 -1 4194304 339 38931 0 0 0 0 358168 518 20 0 1 0 48418098 4427776 768 18446744073709551615 94627611549696 94627612444229 140726622307664 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94627612683280 94627612731024 94627637776384 140726622316891 140726622317043 140726622317043 140726622322645 0
/proc/47615/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.14
CPU time (s): 3586.88
CPU user time (s): 3581.69
CPU system time (s): 5.1952
CPU usage (%): 99.7424
Max. virtual memory (cumulated for all children) (KiB): 127120
Max. memory (cumulated for all children) (KiB): 116696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.69
system time used= 5.1952
maximum resident set size= 112216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40215
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1766
involuntary context switches= 2517


# summary of solver processes directly reported to runsolver:
#   pid: 47615
#   total CPU time (s): 3586.88
#   total CPU user time (s): 3581.69
#   total CPU system time (s): 5.1952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96562 second user time and 16.3634 second system time

The end