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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499379-1751477454/watcher-4499379-1751477454 -o /tmp/evaluation-result-4499379-1751477454/solver-4499379-1751477454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751473856-68420 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4499379-1751477454.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=69002, runsolver pid=68999

[startup+0.100067 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 69006
/proc/meminfo: memFree=124656640/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=23112 memory=8176 CPUtime=0.07 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 1501 0 0 0 7 0 0 0 20 0 1 0 63422943 23666688 2044 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 5778 2044 1088 2752 0 2431 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 12528 KiB

[startup+0.205798 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 69006
/proc/meminfo: memFree=124608696/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=39720 memory=23988 CPUtime=0.17 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 6172 0 0 0 17 0 0 0 20 0 1 0 63422943 40673280 5997 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 9930 5997 1088 2752 0 6583 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46704 KiB
Current children cumulated memory: 28340 KiB

[startup+0.305775 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 69006
/proc/meminfo: memFree=124580472/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=39720 memory=24116 CPUtime=0.27 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 6175 0 0 0 27 0 0 0 20 0 1 0 63422943 40673280 6029 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 9930 6029 1120 2752 0 6583 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 46704 KiB
Current children cumulated memory: 28468 KiB

[startup+0.700253 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 69006
/proc/meminfo: memFree=124548720/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=39720 memory=24116 CPUtime=0.66 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 6175 0 0 0 66 0 0 0 20 0 1 0 63422943 40673280 6029 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 9930 6029 1120 2752 0 6583 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 46704 KiB
Current children cumulated memory: 28468 KiB

[startup+1.50025 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 69006
/proc/meminfo: memFree=124531080/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=39720 memory=24116 CPUtime=1.46 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 6175 0 0 0 146 0 0 0 20 0 1 0 63422943 40673280 6029 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 9930 6029 1120 2752 0 6583 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 46704 KiB
Current children cumulated memory: 28468 KiB

[startup+3.10559 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 69006
/proc/meminfo: memFree=124435532/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=109412 memory=96764 CPUtime=3.05 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 23484 0 0 0 303 2 0 0 20 0 1 0 63422943 112037888 24191 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 27353 24191 2688 2752 0 24006 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 116396 KiB
Current children cumulated memory: 101116 KiB

[startup+6.30023 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 69006
/proc/meminfo: memFree=124345976/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=139676 memory=125560 CPUtime=6.25 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 30929 0 0 0 621 4 0 0 20 0 1 0 63422943 143028224 31390 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 34919 31390 2784 2752 0 31572 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 146660 KiB
Current children cumulated memory: 129912 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 69006
/proc/meminfo: memFree=124276776/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=151592 memory=133496 CPUtime=12.63 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 32906 0 0 0 1259 4 0 0 20 0 1 0 63422943 155230208 33374 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 37898 33374 2816 2752 0 34551 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 158576 KiB
Current children cumulated memory: 137848 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 69007
/proc/meminfo: memFree=124227656/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=178344 memory=155512 CPUtime=25.39 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 38405 0 0 0 2534 5 0 0 20 0 1 0 63422943 182624256 38878 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 44586 38878 2816 2752 0 41239 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 185328 KiB
Current children cumulated memory: 159864 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.08 4.09 5/272 69007
/proc/meminfo: memFree=124169076/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=255776 memory=214752 CPUtime=50.92 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 52711 0 0 0 5084 8 0 0 20 0 1 0 63422943 261914624 53688 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 63944 53688 2816 2752 0 60597 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 262760 KiB
Current children cumulated memory: 219104 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 69009
/proc/meminfo: memFree=124164592/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0

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

/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=437764 memory=424472 CPUtime=2256.35 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 81844 0 0 0 225615 20 0 0 20 0 1 0 63422943 448270336 106118 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 109441 106118 2816 2752 0 106094 0
Current children cumulated CPU time: 2256.35 s
Current children cumulated vsize: 444748 KiB
Current children cumulated memory: 428824 KiB

[startup+2322.3 s]
/proc/loadavg: 4.27 4.22 4.14 5/274 69134
/proc/meminfo: memFree=117012784/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=437764 memory=424472 CPUtime=2316.22 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 81844 0 0 0 231602 20 0 0 20 0 1 0 63422943 448270336 106118 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 109441 106118 2816 2752 0 106094 0
Current children cumulated CPU time: 2316.22 s
Current children cumulated vsize: 444748 KiB
Current children cumulated memory: 428824 KiB

[startup+2382.3 s]
/proc/loadavg: 4.24 4.22 4.14 5/273 69136
/proc/meminfo: memFree=116228160/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69005] ppid=69002 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/69005/stat : 69005 (timeout) S 69002 69005 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63422942 2723840 352 18446744073709551615 94397989371904 94397989388417 140721977964912 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94397989403184 94397989405272 94397991976960 140721977973168 140721977973282 140721977973282 140721977978855 0
/proc/69005/statm: 665 352 352 5 0 90 0
[pid=69006] ppid=69005 vsize=437764 memory=424472 CPUtime=2376.09 cores=4,6
/proc/69006/stat : 69006 (NuPBO-DeepOptS+) R 69005 69005 68409 0 -1 4194304 81854 0 0 0 237589 20 0 0 20 0 1 0 63422943 448270336 106118 18446744073709551615 4198400 15468185 140727751403072 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53485568 140727751408060 140727751408161 140727751408161 140727751413734 0
/proc/69006/statm: 109441 106118 2816 2752 0 106094 0
Current children cumulated CPU time: 2376.09 s
Current children cumulated vsize: 444748 KiB
Current children cumulated memory: 428824 KiB

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

# cumulated CPU time of all completed processes:  user=2424.98 s, system=0.277065 s

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

[startup+2406.4 s]
/proc/loadavg: 4.24 4.22 4.14 5/273 69144
/proc/meminfo: memFree=116743580/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=2391.79 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 282 82131 0 0 0 0 239159 20 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69142] ppid=69002 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69142/stat : 69142 (timeout) S 69002 69142 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63662744 2723840 320 18446744073709551615 94805427806208 94805427822721 140735640311344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94805427837488 94805427839576 94805446008832 140735640316291 140735640316450 140735640316450 140735640322023 0
/proc/69142/statm: 665 320 320 5 0 90 0
[pid=69143] ppid=69142 vsize=81776 memory=47628 CPUtime=8.33 cores=4,6
/proc/69143/stat : 69143 (ExactPR-nols) R 69142 69142 68409 0 -1 4194304 9857 0 0 0 830 3 0 0 20 0 1 0 63662744 83738624 11907 18446744073709551615 94774237401088 94774246700741 140727622459504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94774248487232 94774248526312 94774279053312 140727622461848 140727622461988 140727622461988 140727622467561 0
/proc/69143/statm: 20444 11907 1856 2271 0 15082 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 88760 KiB
Current children cumulated memory: 51852 KiB

[startup+2419.2 s]
/proc/loadavg: 4.19 4.21 4.14 5/273 69145
/proc/meminfo: memFree=116558056/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=2391.79 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 282 82131 0 0 0 0 239159 20 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69142] ppid=69002 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69142/stat : 69142 (timeout) S 69002 69142 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63662744 2723840 320 18446744073709551615 94805427806208 94805427822721 140735640311344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94805427837488 94805427839576 94805446008832 140735640316291 140735640316450 140735640316450 140735640322023 0
/proc/69142/statm: 665 320 320 5 0 90 0
[pid=69143] ppid=69142 vsize=83240 memory=49164 CPUtime=21.09 cores=4,6
/proc/69143/stat : 69143 (ExactPR-nols) R 69142 69142 68409 0 -1 4194304 10237 0 0 0 2106 3 0 0 20 0 1 0 63662744 85237760 12291 18446744073709551615 94774237401088 94774246700741 140727622459504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94774248487232 94774248526312 94774279053312 140727622461848 140727622461988 140727622461988 140727622467561 0
/proc/69143/statm: 20810 12291 1856 2271 0 15448 0
Current children cumulated CPU time: 2412.88 s
Current children cumulated vsize: 90224 KiB
Current children cumulated memory: 53388 KiB

[startup+2425.6 s]
/proc/loadavg: 4.17 4.20 4.14 5/273 69145
/proc/meminfo: memFree=116492936/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=2391.79 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 282 82131 0 0 0 0 239159 20 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69142] ppid=69002 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69142/stat : 69142 (timeout) S 69002 69142 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63662744 2723840 320 18446744073709551615 94805427806208 94805427822721 140735640311344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94805427837488 94805427839576 94805446008832 140735640316291 140735640316450 140735640316450 140735640322023 0
/proc/69142/statm: 665 320 320 5 0 90 0
[pid=69143] ppid=69142 vsize=84312 memory=50444 CPUtime=27.47 cores=4,6
/proc/69143/stat : 69143 (ExactPR-nols) R 69142 69142 68409 0 -1 4194304 10514 0 0 0 2742 5 0 0 20 0 1 0 63662744 86335488 12611 18446744073709551615 94774237401088 94774246700741 140727622459504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94774248487232 94774248526312 94774279053312 140727622461848 140727622461988 140727622461988 140727622467561 0
/proc/69143/statm: 21078 12611 1888 2271 0 15716 0
Current children cumulated CPU time: 2419.26 s
Current children cumulated vsize: 91296 KiB
Current children cumulated memory: 54668 KiB

[startup+2428.8 s]
/proc/loadavg: 4.16 4.20 4.14 5/272 69145
/proc/meminfo: memFree=116470400/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=2391.79 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 282 82131 0 0 0 0 239159 20 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69142] ppid=69002 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69142/stat : 69142 (timeout) S 69002 69142 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63662744 2723840 320 18446744073709551615 94805427806208 94805427822721 140735640311344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94805427837488 94805427839576 94805446008832 140735640316291 140735640316450 140735640316450 140735640322023 0
/proc/69142/statm: 665 320 320 5 0 90 0
[pid=69143] ppid=69142 vsize=84780 memory=50828 CPUtime=30.67 cores=4,6
/proc/69143/stat : 69143 (ExactPR-nols) R 69142 69142 68409 0 -1 4194304 10627 0 0 0 3061 6 0 0 20 0 1 0 63662744 86814720 12707 18446744073709551615 94774237401088 94774246700741 140727622459504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94774248487232 94774248526312 94774279053312 140727622461848 140727622461988 140727622461988 140727622467561 0
/proc/69143/statm: 21195 12707 1888 2271 0 15833 0
Current children cumulated CPU time: 2422.46 s
Current children cumulated vsize: 91764 KiB
Current children cumulated memory: 55052 KiB

[startup+2430.4 s]
/proc/loadavg: 4.16 4.20 4.14 5/272 69145
/proc/meminfo: memFree=116462232/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=2391.79 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 282 82131 0 0 0 0 239159 20 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69142] ppid=69002 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69142/stat : 69142 (timeout) S 69002 69142 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63662744 2723840 320 18446744073709551615 94805427806208 94805427822721 140735640311344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94805427837488 94805427839576 94805446008832 140735640316291 140735640316450 140735640316450 140735640322023 0
/proc/69142/statm: 665 320 320 5 0 90 0
[pid=69143] ppid=69142 vsize=85080 memory=51084 CPUtime=32.27 cores=4,6
/proc/69143/stat : 69143 (ExactPR-nols) R 69142 69142 68409 0 -1 4194304 10695 0 0 0 3221 6 0 0 20 0 1 0 63662744 87121920 12771 18446744073709551615 94774237401088 94774246700741 140727622459504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94774248487232 94774248526312 94774279053312 140727622461848 140727622461988 140727622461988 140727622467561 0
/proc/69143/statm: 21270 12771 1888 2271 0 15908 0
Current children cumulated CPU time: 2424.06 s
Current children cumulated vsize: 92064 KiB
Current children cumulated memory: 55308 KiB

[startup+2431.2 s]
/proc/loadavg: 4.16 4.20 4.14 5/272 69145
/proc/meminfo: memFree=116445976/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=2391.79 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 282 82131 0 0 0 0 239159 20 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
[pid=69142] ppid=69002 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/69142/stat : 69142 (timeout) S 69002 69142 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63662744 2723840 320 18446744073709551615 94805427806208 94805427822721 140735640311344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94805427837488 94805427839576 94805446008832 140735640316291 140735640316450 140735640316450 140735640322023 0
/proc/69142/statm: 665 320 320 5 0 90 0
[pid=69143] ppid=69142 vsize=85080 memory=51084 CPUtime=33.07 cores=4,6
/proc/69143/stat : 69143 (ExactPR-nols) R 69142 69142 68409 0 -1 4194304 10695 0 0 0 3301 6 0 0 20 0 1 0 63662744 87121920 12771 18446744073709551615 94774237401088 94774246700741 140727622459504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94774248487232 94774248526312 94774279053312 140727622461848 140727622461988 140727622461988 140727622467561 0
/proc/69143/statm: 21270 12771 1888 2271 0 15908 0
Current children cumulated CPU time: 2424.86 s
Current children cumulated vsize: 92064 KiB
Current children cumulated memory: 55308 KiB

[startup+2431.6 s]
/proc/loadavg: 4.16 4.20 4.14 5/272 69145
/proc/meminfo: memFree=116445976/131249996 swapFree=33006296/33010684
[pid=69002] ppid=68999 vsize=4324 memory=2944 CPUtime=2425.24 cores=4,6
/proc/69002/stat : 69002 (Hybrid-NuPBODee) S 68999 69002 68409 0 -1 4194304 431 93799 0 0 0 0 242497 27 20 0 1 0 63422941 4427776 736 18446744073709551615 94139647336448 94139648230981 140734534613504 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94139648470032 94139648517776 94139656757248 140734534617435 140734534617587 140734534617587 140734534623189 0
/proc/69002/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2425.24 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2431.61
CPU time (s): 2425.26
CPU user time (s): 2424.98
CPU system time (s): 0.277065
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 444748
Max. memory (cumulated for all children) (KiB): 428824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2424.98
system time used= 0.277065
maximum resident set size= 424472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 929
involuntary context switches= 1986


# summary of solver processes directly reported to runsolver:
#   pid: 69002
#   total CPU time (s): 2425.26
#   total CPU user time (s): 2424.98
#   total CPU system time (s): 0.277065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.27068 second user time and 11.5528 second system time

The end