Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 | SAT | 344750 | 2392.62 | 2398.13 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb |
| MD5SUM | 848e47deac6a47526073146630130ada |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 344750 |
| Best CPU time to get the best result obtained on this benchmark | 0.060434 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 90 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 90 |
| Biggest coefficient in the objective function | 4831838208 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 15032909794 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 4831838208 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 15032909794 |
| Number of bits of the biggest sum of numbers | 34 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2392.59/2398.11 c 6 constraints 2392.59/2398.11 c after presolve 7 2392.59/2398.11 o 360429 2392.59/2398.11 o 350189 2392.59/2398.11 o 350180 2392.59/2398.11 o 350160 2392.59/2398.11 o 350142 2392.59/2398.11 o 350070 2392.59/2398.11 o 348918 2392.59/2398.11 o 348371 2392.59/2398.11 o 348367 2392.59/2398.11 o 347624 2392.59/2398.11 o 347336 2392.59/2398.11 o 346844 2392.59/2398.11 o 346843 2392.59/2398.11 o 346842 2392.59/2398.11 o 346838 2392.59/2398.11 o 346835 2392.59/2398.11 o 346819 2392.59/2398.11 o 346807 2392.59/2398.11 o 346775 2392.59/2398.11 o 346759 2392.59/2398.11 o 346551 2392.59/2398.11 o 346519 2392.59/2398.11 o 346503 2392.59/2398.11 o 346487 2392.59/2398.11 o 346455 2392.59/2398.11 o 346439 2392.59/2398.11 o 346375 2392.59/2398.11 o 346311 2392.59/2398.11 o 346183 2392.59/2398.11 o 346119 2392.59/2398.11 o 345991 2392.59/2398.11 o 345927 2392.59/2398.11 o 345911 2392.59/2398.11 o 345863 2392.59/2398.11 o 345802 2392.59/2398.11 o 345799 2392.59/2398.11 o 345772 2392.59/2398.11 o 345766 2392.59/2398.11 o 345758 2392.59/2398.11 o 345754 2392.59/2398.11 o 345750 2392.59/2398.11 o 345746 2392.59/2398.11 o 345618 2392.59/2398.11 o 345602 2392.59/2398.11 o 345026 2392.59/2398.11 o 344954 2392.59/2398.11 o 344934 2392.59/2398.11 o 344910 2392.59/2398.11 o 344902 2392.59/2398.11 o 344870 2392.59/2398.11 o 344867 2392.59/2398.11 o 344863 2392.59/2398.11 o 344854 2392.59/2398.11 o 344851 2392.59/2398.11 o 344848 2392.59/2398.11 o 344845 2392.59/2398.11 o 344844 2392.59/2398.11 o 344841 2392.59/2398.11 o 344833 2392.59/2398.11 o 344828 2392.59/2398.11 o 344826 2392.59/2398.11 o 344818 2392.59/2398.11 o 344810 2392.59/2398.11 o 344807 2392.59/2398.11 o 344806 2392.59/2398.11 o 344805 2392.59/2398.11 o 344804 2392.59/2398.11 o 344801 2392.59/2398.11 o 344800 2392.59/2398.11 o 344797 2392.59/2398.11 o 344773 2392.59/2398.11 o 344770 2392.59/2398.11 o 344768 2392.59/2398.11 o 344765 2392.59/2398.11 o 344759 2392.59/2398.11 o 344756 2392.59/2398.11 o 344753 2392.59/2398.11 o 344752 2392.59/2398.11 o 344751 2392.59/2398.11 o 344750 2392.59/2398.11 s SATISFIABLE 2392.59/2398.11 v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
OK 344750
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: 63837 MiB (62632 MiB free)
memory of node 1: 64465 MiB (63670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485855-1751316954/watcher-4485855-1751316954 -o /tmp/evaluation-result-4485855-1751316954/solver-4485855-1751316954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751316954-39698 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4485855-1751316954.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39730, runsolver pid=39726
[startup+0.100067 s]*
/proc/loadavg: 0.59 1.07 1.90 5/247 39743
/proc/meminfo: memFree=129299208/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=0.06 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 6 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+0.213796 s]*
/proc/loadavg: 0.59 1.07 1.90 5/246 39743
/proc/meminfo: memFree=129276204/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=0.18 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 18 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+0.313134 s]*
/proc/loadavg: 0.59 1.07 1.90 3/254 39756
/proc/meminfo: memFree=129267204/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=0.27 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 27 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+0.700406 s]
/proc/loadavg: 0.59 1.07 1.90 5/260 39767
/proc/meminfo: memFree=129246688/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=0.65 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 65 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+1.50041 s]
/proc/loadavg: 0.59 1.07 1.90 5/260 39767
/proc/meminfo: memFree=129182112/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=1.44 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 144 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+3.11313 s]
/proc/loadavg: 0.59 1.07 1.90 5/260 39767
/proc/meminfo: memFree=128635080/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=3.05 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 305 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+6.30037 s]
/proc/loadavg: 0.94 1.13 1.92 5/260 39767
/proc/meminfo: memFree=127732320/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=6.23 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 623 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+12.7004 s]
/proc/loadavg: 1.19 1.18 1.93 5/260 39767
/proc/meminfo: memFree=125980672/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=12.61 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 1261 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+25.5004 s]
/proc/loadavg: 1.81 1.32 1.97 5/259 39767
/proc/meminfo: memFree=123972736/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=25.38 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 2538 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+51.113 s]
/proc/loadavg: 2.64 1.55 2.03 5/260 39769
/proc/meminfo: memFree=119577672/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=50.93 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 5093 0 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.95 2.14 5/260 39774
/proc/meminfo: memFree=111108552/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2257.11 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 225709 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2257.11 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2322.3 s]
/proc/loadavg: 4.06 4.14 4.00 5/258 39946
/proc/meminfo: memFree=127816748/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2316.98 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 231696 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2316.98 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2382.3 s]
/proc/loadavg: 4.12 4.14 4.01 5/258 39948
/proc/meminfo: memFree=127816512/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2376.84 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 237682 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2376.84 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2398.13 s]
# the end of solver process 39730 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2392.56 s, system=0.056974 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2387.2 s]
/proc/loadavg: 4.11 4.14 4.01 5/258 39948
/proc/meminfo: memFree=127816528/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2381.73 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 238171 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2381.73 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2393.6 s]
/proc/loadavg: 4.10 4.14 4.01 5/258 39948
/proc/meminfo: memFree=127816528/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2388.11 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 238809 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2388.11 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2395.2 s]
/proc/loadavg: 4.09 4.13 4.01 5/258 39948
/proc/meminfo: memFree=127816528/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2389.71 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 238969 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2389.71 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2396.8 s]
/proc/loadavg: 4.09 4.13 4.01 5/258 39948
/proc/meminfo: memFree=127816528/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2391.3 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 239128 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2391.3 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2397.6 s]
/proc/loadavg: 4.09 4.13 4.01 5/258 39948
/proc/meminfo: memFree=127816528/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2392.1 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 239208 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2392.1 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2398 s]*
/proc/loadavg: 4.09 4.13 4.01 5/258 39948
/proc/meminfo: memFree=127816528/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
[pid=39734] ppid=39730 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/39734/stat : 39734 (timeout) S 39730 39734 39682 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 47374115 2723840 320 18446744073709551615 94316464513024 94316464529537 140724108794896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94316464544304 94316464546392 94316491317248 140724108802480 140724108802594 140724108802594 140724108808167 0
/proc/39734/statm: 665 320 320 5 0 90 0
[pid=39739] ppid=39734 vsize=19220 memory=4864 CPUtime=2392.51 cores=5,7
/proc/39739/stat : 39739 (NuPBO-DeepOptS+) R 39734 39734 39682 0 -1 4194304 218 0 0 0 239249 2 0 0 20 0 1 0 47374116 19681280 1216 18446744073709551615 4198400 15468185 140733966414816 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47308800 140733966416316 140733966416417 140733966416417 140733966421990 0
/proc/39739/statm: 4805 1216 1088 2752 0 1458 0
Current children cumulated CPU time: 2392.51 s
Current children cumulated vsize: 26204 KiB
Current children cumulated memory: 9216 KiB
[startup+2398.11 s]
/proc/loadavg: 4.09 4.13 4.01 5/258 39948
/proc/meminfo: memFree=127816528/131382120 swapFree=33010684/33010684
[pid=39730] ppid=39726 vsize=4324 memory=3072 CPUtime=2392.59 cores=5,7
/proc/39730/stat : 39730 (Hybrid-NuPBODee) S 39726 39730 39682 0 -1 4194304 400 1827 0 0 0 0 239255 4 20 0 1 0 47374112 4427776 768 18446744073709551615 94457264951296 94457265845829 140722838449056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94457266084880 94457266132624 94457288212480 140722838452571 140722838452723 140722838452723 140722838458325 0
/proc/39730/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2392.59 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 2398.13
CPU time (s): 2392.62
CPU user time (s): 2392.56
CPU system time (s): 0.056974
CPU usage (%): 99.7701
Max. virtual memory (cumulated for all children) (KiB): 26204
Max. memory (cumulated for all children) (KiB): 9216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.56
system time used= 0.056974
maximum resident set size= 9600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 936
involuntary context switches= 629
# summary of solver processes directly reported to runsolver:
# pid: 39730
# total CPU time (s): 2392.62
# total CPU user time (s): 2392.56
# total CPU system time (s): 0.056974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7424 second user time and 23.4395 second system time
The end
Begin job on nodeC003 at 2025-06-30 22:55:54 IDJOB=4485855 IDBENCH=146898 IDSOLVER=3332 FILE ID=nodeC003/4485855-1751316954 RUNJOBID= nodeC003-1751316954-39698 SLURM_JOB_ID= 9594339 Free space on /tmp= 432756 MiB SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485855-1751316954/watcher-4485855-1751316954 -o /tmp/evaluation-result-4485855-1751316954/solver-4485855-1751316954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751316954-39698 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4485855-1751316954.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 848e47deac6a47526073146630130ada RANDOM SEED=1737897050 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.183 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.471 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.697 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.154 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.012 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.166 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.164 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129329616 kB MemAvailable: 129898664 kB Buffers: 3280 kB Cached: 1374332 kB SwapCached: 0 kB Active: 327724 kB Inactive: 1124944 kB Active(anon): 93060 kB Inactive(anon): 0 kB Active(file): 234664 kB Inactive(file): 1124944 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 86984 kB Writeback: 4 kB AnonPages: 78200 kB Mapped: 103272 kB Shmem: 17960 kB KReclaimable: 98132 kB Slab: 181652 kB SReclaimable: 98132 kB SUnreclaim: 83520 kB KernelStack: 3872 kB PageTables: 2904 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 339096 kB VmallocTotal: 34359738367 kB VmallocUsed: 149288 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432632 MiB End job on nodeC003 at 2025-06-30 23:35:53