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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497129-1751399479/watcher-4497129-1751399479 -o /tmp/evaluation-result-4497129-1751399479/solver-4497129-1751399479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751393480-50779 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4497129-1751399479.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=51583, runsolver pid=51580

[startup+0.100058 s]*
/proc/loadavg: 4.11 4.13 4.10 6/272 51587
/proc/meminfo: memFree=126747992/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=21796 memory=7324 CPUtime=0.07 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 898 0 0 0 7 0 0 0 20 0 1 0 55625418 22319104 1831 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 5449 1831 1152 2752 0 2102 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28780 KiB
Current children cumulated memory: 11548 KiB

[startup+0.205524 s]*
/proc/loadavg: 4.11 4.13 4.10 5/272 51587
/proc/meminfo: memFree=126740180/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=37700 memory=27804 CPUtime=0.17 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 4605 0 0 0 17 0 0 0 20 0 1 0 55625418 38604800 6951 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 9425 6951 2688 2752 0 6078 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 32028 KiB

[startup+0.305643 s]*
/proc/loadavg: 4.11 4.13 4.10 5/272 51587
/proc/meminfo: memFree=126732116/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=26076 CPUtime=0.28 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5929 0 0 0 27 1 0 0 20 0 1 0 55625418 35975168 6519 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6519 2816 2752 0 5436 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 30300 KiB

[startup+0.700151 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 51587
/proc/meminfo: memFree=126732116/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=26076 CPUtime=0.67 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5929 0 0 0 66 1 0 0 20 0 1 0 55625418 35975168 6519 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6519 2816 2752 0 5436 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 30300 KiB

[startup+1.50014 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 51587
/proc/meminfo: memFree=126732116/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=26076 CPUtime=1.46 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5929 0 0 0 145 1 0 0 20 0 1 0 55625418 35975168 6519 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6519 2816 2752 0 5436 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 30300 KiB

[startup+3.10491 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 51587
/proc/meminfo: memFree=126732384/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=26076 CPUtime=3.07 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5929 0 0 0 306 1 0 0 20 0 1 0 55625418 35975168 6519 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6519 2816 2752 0 5436 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 30300 KiB

[startup+6.30014 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 51587
/proc/meminfo: memFree=126726864/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=26076 CPUtime=6.25 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5929 0 0 0 624 1 0 0 20 0 1 0 55625418 35975168 6519 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6519 2816 2752 0 5436 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 30300 KiB

[startup+12.7001 s]
/proc/loadavg: 4.17 4.14 4.11 5/272 51587
/proc/meminfo: memFree=126727140/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=26076 CPUtime=12.64 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5929 0 0 0 1263 1 0 0 20 0 1 0 55625418 35975168 6519 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6519 2816 2752 0 5436 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 30300 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.14 4.10 5/272 51587
/proc/meminfo: memFree=126711260/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=26076 CPUtime=25.41 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5929 0 0 0 2540 1 0 0 20 0 1 0 55625418 35975168 6519 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6519 2816 2752 0 5436 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 30300 KiB

[startup+51.105 s]
/proc/loadavg: 4.09 4.12 4.10 5/272 51588
/proc/meminfo: memFree=126705924/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=26076 CPUtime=50.96 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5929 0 0 0 5095 1 0 0 20 0 1 0 55625418 35975168 6519 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6519 2816 2752 0 5436 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 30300 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/273 51662
/proc/meminfo: memFree=129755420/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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


[startup+2262.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/274 51904
/proc/meminfo: memFree=129739172/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=27228 CPUtime=2257.18 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5967 0 0 0 225716 2 0 0 20 0 1 0 55625418 35975168 6807 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6807 2816 2752 0 5436 0
Current children cumulated CPU time: 2257.18 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 31452 KiB

[startup+2322.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 51906
/proc/meminfo: memFree=129738044/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=27228 CPUtime=2317.03 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5967 0 0 0 231701 2 0 0 20 0 1 0 55625418 35975168 6807 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6807 2816 2752 0 5436 0
Current children cumulated CPU time: 2317.03 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 31452 KiB

[startup+2382.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/271 51908
/proc/meminfo: memFree=129738156/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=27228 CPUtime=2376.88 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5967 0 0 0 237686 2 0 0 20 0 1 0 55625418 35975168 6807 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6807 2816 2752 0 5436 0
Current children cumulated CPU time: 2376.88 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 31452 KiB

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

# cumulated CPU time of all completed processes:  user=2393.01 s, system=0.063764 s

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

[startup+2387.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/271 51908
/proc/meminfo: memFree=129738156/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=27228 CPUtime=2381.76 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5967 0 0 0 238174 2 0 0 20 0 1 0 55625418 35975168 6807 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6807 2816 2752 0 5436 0
Current children cumulated CPU time: 2381.76 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 31452 KiB

[startup+2393.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 51908
/proc/meminfo: memFree=129738164/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=27228 CPUtime=2388.15 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5967 0 0 0 238813 2 0 0 20 0 1 0 55625418 35975168 6807 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6807 2816 2752 0 5436 0
Current children cumulated CPU time: 2388.15 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 31452 KiB

[startup+2396.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 51908
/proc/meminfo: memFree=129738164/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=27228 CPUtime=2391.34 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5967 0 0 0 239132 2 0 0 20 0 1 0 55625418 35975168 6807 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6807 2816 2752 0 5436 0
Current children cumulated CPU time: 2391.34 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 31452 KiB

[startup+2397.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 51908
/proc/meminfo: memFree=129738164/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=27228 CPUtime=2392.14 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5967 0 0 0 239212 2 0 0 20 0 1 0 55625418 35975168 6807 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6807 2816 2752 0 5436 0
Current children cumulated CPU time: 2392.14 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 31452 KiB

[startup+2398 s]*
/proc/loadavg: 4.10 4.11 4.09 5/271 51908
/proc/meminfo: memFree=129738188/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
[pid=51586] ppid=51583 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/51586/stat : 51586 (timeout) S 51583 51586 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55625418 2723840 320 18446744073709551615 94376609984512 94376610001025 140727206396944 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94376610015792 94376610017880 94376638304256 140727206402480 140727206402594 140727206402594 140727206408167 0
/proc/51586/statm: 665 320 320 5 0 90 0
[pid=51587] ppid=51586 vsize=35132 memory=27228 CPUtime=2392.54 cores=0,2
/proc/51587/stat : 51587 (NuPBO-DeepOptS+) R 51586 51586 50769 0 -1 4194304 5967 0 0 0 239252 2 0 0 20 0 1 0 55625418 35975168 6807 18446744073709551615 4198400 15468185 140737153694880 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26062848 140737153702332 140737153702433 140737153702433 140737153708006 0
/proc/51587/statm: 8783 6807 2816 2752 0 5436 0
Current children cumulated CPU time: 2392.54 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 31452 KiB

[startup+2398.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 51908
/proc/meminfo: memFree=129738188/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=2392.56 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 280 6198 0 0 0 0 239254 2 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.56 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

[startup+2398.5 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 51908
/proc/meminfo: memFree=129738188/131250000 swapFree=33007332/33010684
[pid=51583] ppid=51580 vsize=4324 memory=2944 CPUtime=2392.56 cores=0,2
/proc/51583/stat : 51583 (Hybrid-NuPBODee) S 51580 51583 50769 0 -1 4194304 280 6198 0 0 0 0 239254 2 20 0 1 0 55625416 4427776 736 18446744073709551615 94313881763840 94313882658373 140727261293472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94313882897424 94313882945168 94313898893312 140727261296987 140727261297139 140727261297139 140727261302741 0
/proc/51583/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.56 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2398.58
CPU time (s): 2393.07
CPU user time (s): 2393.01
CPU system time (s): 0.063764
CPU usage (%): 99.7703
Max. virtual memory (cumulated for all children) (KiB): 44684
Max. memory (cumulated for all children) (KiB): 32028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.01
system time used= 0.063764
maximum resident set size= 33436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 932
involuntary context switches= 3021


# summary of solver processes directly reported to runsolver:
#   pid: 51583
#   total CPU time (s): 2393.07
#   total CPU user time (s): 2393.01
#   total CPU system time (s): 0.063764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.4048 second user time and 8.54937 second system time

The end