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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499747-1751418644/watcher-4499747-1751418644 -o /tmp/evaluation-result-4499747-1751418644/solver-4499747-1751418644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751418644-60674 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4499747-1751418644.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=60732, runsolver pid=60715

[startup+0.100061 s]*
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=127061908/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=24584 memory=9400 CPUtime=0.06 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 1856 0 0 0 6 0 0 0 20 0 1 0 57542157 25174016 2350 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 6146 2350 1088 2752 0 2799 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 31568 KiB
Current children cumulated memory: 13752 KiB

[startup+0.20482 s]*
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=127042504/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=26632 memory=12048 CPUtime=0.17 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 2499 0 0 0 17 0 0 0 20 0 1 0 57542157 27271168 3012 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 6658 3012 1088 2752 0 3311 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 33616 KiB
Current children cumulated memory: 16400 KiB

[startup+0.305027 s]*
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=127043228/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=30728 memory=14100 CPUtime=0.27 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 3015 0 0 0 27 0 0 0 20 0 1 0 57542157 31465472 3525 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 7682 3525 1088 2752 0 4335 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 37712 KiB
Current children cumulated memory: 18452 KiB

[startup+0.700188 s]
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=126971028/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=61552 memory=45140 CPUtime=0.65 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 8636 0 0 0 64 1 0 0 20 0 1 0 57542157 63029248 11285 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 15388 11285 1152 2752 0 12041 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 68536 KiB
Current children cumulated memory: 49492 KiB

[startup+1.50017 s]
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=126971028/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=61552 memory=45140 CPUtime=1.45 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 8636 0 0 0 144 1 0 0 20 0 1 0 57542157 63029248 11285 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 15388 11285 1152 2752 0 12041 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 68536 KiB
Current children cumulated memory: 49492 KiB

[startup+3.10534 s]
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=126874888/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=61552 memory=45140 CPUtime=3.05 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 8640 0 0 0 304 1 0 0 20 0 1 0 57542157 63029248 11285 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 15388 11285 1152 2752 0 12041 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 68536 KiB
Current children cumulated memory: 49492 KiB

[startup+6.30017 s]
/proc/loadavg: 0.61 1.25 1.88 5/279 60743
/proc/meminfo: memFree=126243196/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=271520 memory=253608 CPUtime=6.24 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 60559 0 0 0 614 10 0 0 20 0 1 0 57542157 278036480 63402 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 67880 63402 2816 2752 0 64533 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 278504 KiB
Current children cumulated memory: 257960 KiB

[startup+12.7002 s]
/proc/loadavg: 0.88 1.30 1.90 5/278 60743
/proc/meminfo: memFree=126223304/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=272448 memory=254248 CPUtime=12.63 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 60719 0 0 0 1252 11 0 0 20 0 1 0 57542157 278986752 63562 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 68112 63562 2816 2752 0 64765 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 279432 KiB
Current children cumulated memory: 258600 KiB

[startup+25.5002 s]
/proc/loadavg: 1.57 1.43 1.93 5/278 60743
/proc/meminfo: memFree=126191088/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=273624 memory=255400 CPUtime=25.39 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 61023 0 0 0 2528 11 0 0 20 0 1 0 57542157 280190976 63850 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 68406 63850 2816 2752 0 65059 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 280608 KiB
Current children cumulated memory: 259752 KiB

[startup+51.106 s]
/proc/loadavg: 2.47 1.65 1.99 5/278 60744
/proc/meminfo: memFree=126158896/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=273624 memory=255400 CPUtime=50.91 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 61025 0 0 0 5080 11 0 0 20 0 1 0 57542157 280190976 63850 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 68406 63850 2816 2752 0 65059 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 280608 KiB
Current children cumulated memory: 259752 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 2.03 2.11 5/278 60746
/proc/meminfo: memFree=126118628/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0

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

/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60742] ppid=60732 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/60742/stat : 60742 (timeout) S 60732 60742 60422 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57542156 2723840 352 18446744073709551615 94311917826048 94311917842561 140723932658784 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94311917857328 94311917859416 94311933087744 140723932662192 140723932662306 140723932662306 140723932667879 0
/proc/60742/statm: 665 352 352 5 0 90 0
[pid=60743] ppid=60742 vsize=351328 memory=321596 CPUtime=2375.84 cores=1,3
/proc/60743/stat : 60743 (NuPBO-DeepOptS+) R 60742 60742 60422 0 -1 4194304 72057 0 0 0 237570 14 0 0 20 0 1 0 57542157 359759872 80399 18446744073709551615 4198400 15468185 140722313737728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 28237824 140722313742780 140722313742881 140722313742881 140722313748454 0
/proc/60743/statm: 87832 80399 3168 2752 0 84485 0
Current children cumulated CPU time: 2375.84 s
Current children cumulated vsize: 358312 KiB
Current children cumulated memory: 325948 KiB

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

# cumulated CPU time of all completed processes:  user=2427.86 s, system=0.211714 s

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

[startup+2406.4 s]
/proc/loadavg: 4.08 4.19 4.03 5/272 60872
/proc/meminfo: memFree=126885628/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2391.56 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 282 72333 0 0 0 0 239141 15 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60868] ppid=60732 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/60868/stat : 60868 (timeout) S 60732 60868 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57781958 2723840 320 18446744073709551615 94092991664128 94092991680641 140721688621280 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092991695408 94092991697496 94093005045760 140721688623491 140721688623650 140721688623650 140721688629223 0
/proc/60868/statm: 665 320 320 5 0 90 0
[pid=60871] ppid=60868 vsize=100788 memory=68480 CPUtime=8.28 cores=1,3
/proc/60871/stat : 60871 (ExactPR-nols) R 60868 60868 60422 0 -1 4194304 13117 0 0 0 826 2 0 0 20 0 1 0 57781959 103206912 17120 18446744073709551615 94763798851584 94763808151237 140727237863184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94763809937728 94763809976808 94763851264000 140727237872024 140727237872164 140727237872164 140727237877737 0
/proc/60871/statm: 25197 17120 1856 2271 0 19835 0
Current children cumulated CPU time: 2399.84 s
Current children cumulated vsize: 107772 KiB
Current children cumulated memory: 72704 KiB

[startup+2419.2 s]
/proc/loadavg: 4.14 4.20 4.04 5/272 60872
/proc/meminfo: memFree=126878836/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2391.56 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 282 72333 0 0 0 0 239141 15 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60868] ppid=60732 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/60868/stat : 60868 (timeout) S 60732 60868 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57781958 2723840 320 18446744073709551615 94092991664128 94092991680641 140721688621280 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092991695408 94092991697496 94093005045760 140721688623491 140721688623650 140721688623650 140721688629223 0
/proc/60868/statm: 665 320 320 5 0 90 0
[pid=60871] ppid=60868 vsize=106476 memory=73344 CPUtime=21.05 cores=1,3
/proc/60871/stat : 60871 (ExactPR-nols) R 60868 60868 60422 0 -1 4194304 14345 0 0 0 2101 4 0 0 20 0 1 0 57781959 109031424 18336 18446744073709551615 94763798851584 94763808151237 140727237863184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94763809937728 94763809976808 94763851264000 140727237872024 140727237872164 140727237872164 140727237877737 0
/proc/60871/statm: 26619 18336 1856 2271 0 21257 0
Current children cumulated CPU time: 2412.61 s
Current children cumulated vsize: 113460 KiB
Current children cumulated memory: 77568 KiB

[startup+2425.6 s]
/proc/loadavg: 4.04 4.18 4.03 4/265 60977
/proc/meminfo: memFree=126851088/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2391.56 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 282 72333 0 0 0 0 239141 15 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60868] ppid=60732 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/60868/stat : 60868 (timeout) S 60732 60868 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57781958 2723840 320 18446744073709551615 94092991664128 94092991680641 140721688621280 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092991695408 94092991697496 94093005045760 140721688623491 140721688623650 140721688623650 140721688629223 0
/proc/60868/statm: 665 320 320 5 0 90 0
[pid=60871] ppid=60868 vsize=106800 memory=74368 CPUtime=27.43 cores=1,3
/proc/60871/stat : 60871 (ExactPR-nols) R 60868 60868 60422 0 -1 4194304 14606 0 0 0 2739 4 0 0 20 0 1 0 57781959 109363200 18592 18446744073709551615 94763798851584 94763808151237 140727237863184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94763809937728 94763809976808 94763851264000 140727237872024 140727237872164 140727237872164 140727237877737 0
/proc/60871/statm: 26700 18592 1856 2271 0 21338 0
Current children cumulated CPU time: 2418.99 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 78592 KiB

[startup+2428.8 s]
/proc/loadavg: 4.04 4.18 4.03 4/265 60977
/proc/meminfo: memFree=126851516/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2391.56 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 282 72333 0 0 0 0 239141 15 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60868] ppid=60732 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/60868/stat : 60868 (timeout) S 60732 60868 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57781958 2723840 320 18446744073709551615 94092991664128 94092991680641 140721688621280 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092991695408 94092991697496 94093005045760 140721688623491 140721688623650 140721688623650 140721688629223 0
/proc/60868/statm: 665 320 320 5 0 90 0
[pid=60871] ppid=60868 vsize=106800 memory=74368 CPUtime=30.63 cores=1,3
/proc/60871/stat : 60871 (ExactPR-nols) R 60868 60868 60422 0 -1 4194304 14607 0 0 0 3059 4 0 0 20 0 1 0 57781959 109363200 18592 18446744073709551615 94763798851584 94763808151237 140727237863184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94763809937728 94763809976808 94763851264000 140727237872024 140727237872164 140727237872164 140727237877737 0
/proc/60871/statm: 26700 18592 1856 2271 0 21338 0
Current children cumulated CPU time: 2422.19 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 78592 KiB

[startup+2432 s]*
/proc/loadavg: 3.96 4.16 4.02 4/265 60977
/proc/meminfo: memFree=126839480/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2391.56 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 282 72333 0 0 0 0 239141 15 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60868] ppid=60732 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/60868/stat : 60868 (timeout) S 60732 60868 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57781958 2723840 320 18446744073709551615 94092991664128 94092991680641 140721688621280 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092991695408 94092991697496 94093005045760 140721688623491 140721688623650 140721688623650 140721688629223 0
/proc/60868/statm: 665 320 320 5 0 90 0
[pid=60871] ppid=60868 vsize=106800 memory=74368 CPUtime=33.82 cores=1,3
/proc/60871/stat : 60871 (ExactPR-nols) R 60868 60868 60422 0 -1 4194304 14607 0 0 0 3378 4 0 0 20 0 1 0 57781959 109363200 18592 18446744073709551615 94763798851584 94763808151237 140727237863184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94763809937728 94763809976808 94763851264000 140727237872024 140727237872164 140727237872164 140727237877737 0
/proc/60871/statm: 26700 18592 1856 2271 0 21338 0
Current children cumulated CPU time: 2425.38 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 78592 KiB

[startup+2433.6 s]
/proc/loadavg: 3.96 4.16 4.02 4/265 60977
/proc/meminfo: memFree=126839732/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2391.56 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 282 72333 0 0 0 0 239141 15 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60868] ppid=60732 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/60868/stat : 60868 (timeout) S 60732 60868 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57781958 2723840 320 18446744073709551615 94092991664128 94092991680641 140721688621280 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092991695408 94092991697496 94093005045760 140721688623491 140721688623650 140721688623650 140721688629223 0
/proc/60868/statm: 665 320 320 5 0 90 0
[pid=60871] ppid=60868 vsize=106800 memory=74368 CPUtime=35.41 cores=1,3
/proc/60871/stat : 60871 (ExactPR-nols) R 60868 60868 60422 0 -1 4194304 14607 0 0 0 3537 4 0 0 20 0 1 0 57781959 109363200 18592 18446744073709551615 94763798851584 94763808151237 140727237863184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94763809937728 94763809976808 94763851264000 140727237872024 140727237872164 140727237872164 140727237877737 0
/proc/60871/statm: 26700 18592 1856 2271 0 21338 0
Current children cumulated CPU time: 2426.97 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 78592 KiB

[startup+2434.4 s]
/proc/loadavg: 3.96 4.16 4.02 4/265 60977
/proc/meminfo: memFree=126839732/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2391.56 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 282 72333 0 0 0 0 239141 15 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60868] ppid=60732 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/60868/stat : 60868 (timeout) S 60732 60868 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57781958 2723840 320 18446744073709551615 94092991664128 94092991680641 140721688621280 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092991695408 94092991697496 94093005045760 140721688623491 140721688623650 140721688623650 140721688629223 0
/proc/60868/statm: 665 320 320 5 0 90 0
[pid=60871] ppid=60868 vsize=106800 memory=74496 CPUtime=36.21 cores=1,3
/proc/60871/stat : 60871 (ExactPR-nols) R 60868 60868 60422 0 -1 4194304 14610 0 0 0 3617 4 0 0 20 0 1 0 57781959 109363200 18624 18446744073709551615 94763798851584 94763808151237 140727237863184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94763809937728 94763809976808 94763851264000 140727237872024 140727237872164 140727237872164 140727237877737 0
/proc/60871/statm: 26700 18624 1856 2271 0 21338 0
Current children cumulated CPU time: 2427.77 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 78720 KiB

[startup+2434.6 s]
/proc/loadavg: 3.96 4.16 4.02 4/265 60977
/proc/meminfo: memFree=126839732/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2391.56 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 282 72333 0 0 0 0 239141 15 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
[pid=60868] ppid=60732 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/60868/stat : 60868 (timeout) S 60732 60868 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57781958 2723840 320 18446744073709551615 94092991664128 94092991680641 140721688621280 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94092991695408 94092991697496 94093005045760 140721688623491 140721688623650 140721688623650 140721688629223 0
/proc/60868/statm: 665 320 320 5 0 90 0
[pid=60871] ppid=60868 vsize=106800 memory=74496 CPUtime=36.41 cores=1,3
/proc/60871/stat : 60871 (ExactPR-nols) R 60868 60868 60422 0 -1 4194304 14610 0 0 0 3637 4 0 0 20 0 1 0 57781959 109363200 18624 18446744073709551615 94763798851584 94763808151237 140727237863184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94763809937728 94763809976808 94763851264000 140727237872024 140727237872164 140727237872164 140727237877737 0
/proc/60871/statm: 26700 18624 1856 2271 0 21338 0
Current children cumulated CPU time: 2427.97 s
Current children cumulated vsize: 113784 KiB
Current children cumulated memory: 78720 KiB

[startup+2434.7 s]
/proc/loadavg: 3.96 4.16 4.02 4/265 60977
/proc/meminfo: memFree=126839732/131249996 swapFree=33010160/33010684
[pid=60732] ppid=60715 vsize=4324 memory=2944 CPUtime=2428.05 cores=1,3
/proc/60732/stat : 60732 (Hybrid-NuPBODee) S 60715 60732 60422 0 -1 4194304 329 87416 0 0 0 0 242785 20 20 0 1 0 57542154 4427776 736 18446744073709551615 93912471019520 93912471914053 140725338939600 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 93912472153104 93912472200848 93912475860992 140725338945883 140725338946035 140725338946035 140725338951637 0
/proc/60732/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2428.05 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2434.74
CPU time (s): 2428.07
CPU user time (s): 2427.86
CPU system time (s): 0.211714
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 358312
Max. memory (cumulated for all children) (KiB): 325948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2427.86
system time used= 0.211714
maximum resident set size= 321596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1127
involuntary context switches= 3282


# summary of solver processes directly reported to runsolver:
#   pid: 60732
#   total CPU time (s): 2428.07
#   total CPU user time (s): 2427.86
#   total CPU system time (s): 0.211714

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.06018 second user time and 10.1627 second system time

The end