Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabP+Exact 2024-07-11 | SAT | 14 | 3586.83 | 3596.02 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | 39a6e806d7aaba09f767f3cbd6afa1ec |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3586.79/3596.01 o 1146 3586.79/3596.01 o 819 3586.79/3596.01 o 779 3586.79/3596.01 o 767 3586.79/3596.01 o 763 3586.79/3596.01 o 759 3586.79/3596.01 o 755 3586.79/3596.01 o 747 3586.79/3596.01 o 715 3586.79/3596.01 o 651 3586.79/3596.01 o 650 3586.79/3596.01 o 648 3586.79/3596.01 o 646 3586.79/3596.01 o 641 3586.79/3596.01 o 633 3586.79/3596.01 o 625 3586.79/3596.01 o 624 3586.79/3596.01 o 622 3586.79/3596.01 o 620 3586.79/3596.01 o 618 3586.79/3596.01 o 616 3586.79/3596.01 o 612 3586.79/3596.01 o 610 3586.79/3596.01 o 608 3586.79/3596.01 o 604 3586.79/3596.01 o 603 3586.79/3596.01 o 601 3586.79/3596.01 o 596 3586.79/3596.01 o 594 3586.79/3596.01 o 590 3586.79/3596.01 o 588 3586.79/3596.01 o 574 3586.79/3596.01 o 572 3586.79/3596.01 o 570 3586.79/3596.01 o 554 3586.79/3596.01 o 553 3586.79/3596.01 o 551 3586.79/3596.01 o 549 3586.79/3596.01 o 547 3586.79/3596.01 o 544 3586.79/3596.01 o 542 3586.79/3596.01 o 538 3586.79/3596.01 o 534 3586.79/3596.01 o 530 3586.79/3596.01 o 528 3586.79/3596.01 o 512 3586.79/3596.01 o 510 3586.79/3596.01 o 508 3586.79/3596.01 o 484 3586.79/3596.01 o 482 3586.79/3596.01 o 480 3586.79/3596.01 o 476 3586.79/3596.01 o 412 3586.79/3596.01 o 408 3586.79/3596.01 o 404 3586.79/3596.01 o 403 3586.79/3596.01 o 402 3586.79/3596.01 o 399 3586.79/3596.01 o 395 3586.79/3596.01 o 391 3586.79/3596.01 o 390 3586.79/3596.01 o 388 3586.79/3596.01 o 365 3586.79/3596.01 o 363 3586.79/3596.01 o 359 3586.79/3596.01 o 358 3586.79/3596.01 o 356 3586.79/3596.01 o 354 3586.79/3596.01 o 346 3586.79/3596.01 o 342 3586.79/3596.01 o 334 3586.79/3596.01 o 333 3586.79/3596.01 o 331 3586.79/3596.01 o 315 3586.79/3596.01 o 312 3586.79/3596.01 o 302 3586.79/3596.01 o 294 3586.79/3596.01 o 266 3586.79/3596.01 o 264 3586.79/3596.01 o 262 3586.79/3596.01 o 252 3586.79/3596.01 o 236 3586.79/3596.01 o 234 3586.79/3596.01 o 232 3586.79/3596.01 o 228 3586.79/3596.01 o 212 3586.79/3596.01 o 204 3586.79/3596.01 o 203 3586.79/3596.01 o 195 3586.79/3596.01 o 193 3586.79/3596.01 o 191 3586.79/3596.01 o 189 3586.79/3596.01 o 187 3586.79/3596.01 o 186 3586.79/3596.01 o 182 3586.79/3596.01 o 178 3586.79/3596.01 o 170 3586.79/3596.01 o 164 3586.79/3596.01 o 163 3586.79/3596.01 o 161 3586.79/3596.01 o 159 3586.79/3596.01 o 155 3586.79/3596.01 o 154 3586.79/3596.01 o 152 3586.79/3596.01 o 120 3586.79/3596.01 o 116 3586.79/3596.01 o 115 3586.79/3596.01 o 113 3586.79/3596.01 o 109 3586.79/3596.01 o 101 3586.79/3596.01 o 100 3586.79/3596.01 o 96 3586.79/3596.01 o 92 3586.79/3596.01 o 90 3586.79/3596.01 o 88 3586.79/3596.01 o 86 3586.79/3596.01 o 84 3586.79/3596.01 o 80 3586.79/3596.01 o 78 3586.79/3596.01 o 77 3586.79/3596.01 o 73 3586.79/3596.01 o 67 3586.79/3596.01 o 64 3586.79/3596.01 o 62 3586.79/3596.01 o 60 3586.79/3596.01 o 52 3586.79/3596.01 o 48 3586.79/3596.01 o 47 3586.79/3596.01 o 45 3586.79/3596.01 o 44 3586.79/3596.01 o 40 3586.79/3596.01 o 38 3586.79/3596.01 o 36 3586.79/3596.01 o 34 3586.79/3596.01 o 30 3586.79/3596.01 o 28 3586.79/3596.01 o 24 3586.79/3596.01 o 22 3586.79/3596.01 o 20 3586.79/3596.01 o 18 3586.79/3596.01 o 14 3586.79/3596.01 c Program interrupted by user. 3586.79/3596.01 s SATISFIABLE 3586.79/3596.01 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 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 x137 x138 x139 -x140 -x141 x142 x143 x144 x145 -x146 -x147 -x148 x149 x150 x151 -x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 -x162 x163 -x164 -x165 x166 x167 x168 -x169 -x170 x171 -x172
OK 14
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: 63968 MiB (62502 MiB free)
memory of node 1: 64473 MiB (63677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437518-1722969830/watcher-4437518-1722969830 -o /tmp/evaluation-result-4437518-1722969830/solver-4437518-1722969830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722969830-342081 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437518-1722969830.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=342133, runsolver pid=342123
[startup+0.100716 s]*
/proc/loadavg: 3.69 4.07 4.10 7/268 342157
/proc/meminfo: memFree=129193700/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=0.09 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 282 0 0 0 9 0 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+0.205601 s]*
/proc/loadavg: 3.69 4.07 4.10 5/268 342157
/proc/meminfo: memFree=129192684/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=0.19 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 282 0 0 0 19 0 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+0.305207 s]*
/proc/loadavg: 3.69 4.07 4.10 6/268 342157
/proc/meminfo: memFree=129192356/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=0.29 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 282 0 0 0 28 1 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+0.700198 s]
/proc/loadavg: 3.69 4.07 4.10 6/268 342157
/proc/meminfo: memFree=129190364/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=0.68 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 282 0 0 0 66 2 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+1.5002 s]
/proc/loadavg: 3.72 4.07 4.10 7/268 342157
/proc/meminfo: memFree=129190156/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=1.48 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 282 0 0 0 142 6 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+3.10534 s]
/proc/loadavg: 3.72 4.07 4.10 7/268 342157
/proc/meminfo: memFree=129190248/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=3.08 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 283 0 0 0 292 16 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+6.30018 s]
/proc/loadavg: 3.82 4.08 4.10 7/268 342157
/proc/meminfo: memFree=129190372/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=6.27 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 283 0 0 0 591 36 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+12.7002 s]
/proc/loadavg: 3.83 4.08 4.10 7/268 342159
/proc/meminfo: memFree=129190176/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=12.66 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 285 0 0 0 1196 70 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+25.5002 s]
/proc/loadavg: 3.86 4.08 4.10 7/268 342160
/proc/meminfo: memFree=129190140/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=25.43 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 286 0 0 0 2399 144 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+51.1054 s]
/proc/loadavg: 3.97 4.09 4.10 7/267 342165
/proc/meminfo: memFree=129188780/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 689 612 264 0 134 0
[pid=342143] ppid=342133 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342143/stat : 342143 (timeout) S 342133 342143 342071 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63584145 8867840 245 134679101440 94104224350208 94104224385224 140725189370928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94104226482640 94104226484772 94104239583232 140725189375011 140725189375133 140725189375133 140725189382119 0
/proc/342143/statm: 2165 245 221 9 0 87 0
[pid=342146] ppid=342143 vsize=19404 memory=7404 CPUtime=50.99 cores=0,2
/proc/342146/stat : 342146 (LS-MabP) R 342143 342143 342071 0 -1 4194304 287 0 0 0 4801 298 0 0 20 0 1 0 63584145 19869696 1851 134679101440 4194304 15467897 140722739365568 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56279040 140722739369015 140722739369124 140722739369124 140722739376110 0
/proc/342146/statm: 4851 1851 1153 2753 0 1504 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 37996 KiB
Current children cumulated memory: 11140 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.09 4.10 7/267 342173
/proc/meminfo: memFree=129188092/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 63584145 10170368 689 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
################
# More data... #
################
/proc/343056/statm: 9349 6649 804 745 0 8414 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 55988 KiB
Current children cumulated memory: 30352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 344089
/proc/meminfo: memFree=129139532/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37396 memory=26600 CPUtime=1659.02 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 19126 0 0 0 165898 4 0 0 20 0 1 0 63763945 38293504 6650 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9349 6650 804 745 0 8414 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 55988 KiB
Current children cumulated memory: 30356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/264 344099
/proc/meminfo: memFree=129138800/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37400 memory=26604 CPUtime=1718.84 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 19919 0 0 0 171880 4 0 0 20 0 1 0 63763945 38297600 6651 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9350 6651 804 745 0 8415 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 55992 KiB
Current children cumulated memory: 30360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 344109
/proc/meminfo: memFree=129137960/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37392 memory=26596 CPUtime=1778.66 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 20621 0 0 0 177862 4 0 0 20 0 1 0 63763945 38289408 6649 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9348 6649 804 745 0 8413 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 55984 KiB
Current children cumulated memory: 30352 KiB
[startup+3596.02 s]
# the end of solver process 342133 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3484.34 s, system=102.492 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.09 6/264 344109
/proc/meminfo: memFree=129137972/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37392 memory=26596 CPUtime=1780.36 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 20621 0 0 0 178032 4 0 0 20 0 1 0 63763945 38289408 6649 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9348 6649 804 745 0 8413 0
Current children cumulated CPU time: 3574.82 s
Current children cumulated vsize: 55984 KiB
Current children cumulated memory: 30352 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.08 4.09 6/264 344111
/proc/meminfo: memFree=129137880/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37396 memory=26600 CPUtime=1786.74 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 20709 0 0 0 178670 4 0 0 20 0 1 0 63763945 38293504 6650 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9349 6650 804 745 0 8414 0
Current children cumulated CPU time: 3581.2 s
Current children cumulated vsize: 55988 KiB
Current children cumulated memory: 30356 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.08 4.09 6/264 344111
/proc/meminfo: memFree=129137916/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37392 memory=26596 CPUtime=1789.93 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 20795 0 0 0 178989 4 0 0 20 0 1 0 63763945 38289408 6649 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9348 6649 804 745 0 8413 0
Current children cumulated CPU time: 3584.39 s
Current children cumulated vsize: 55984 KiB
Current children cumulated memory: 30352 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.08 4.09 6/264 344111
/proc/meminfo: memFree=129137916/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37392 memory=26596 CPUtime=1791.53 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 20795 0 0 0 179149 4 0 0 20 0 1 0 63763945 38289408 6649 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9348 6649 804 745 0 8413 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 55984 KiB
Current children cumulated memory: 30352 KiB
[startup+3595.6 s]
/proc/loadavg: 4.07 4.08 4.09 6/264 344111
/proc/meminfo: memFree=129137916/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37392 memory=26596 CPUtime=1791.93 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 20795 0 0 0 179189 4 0 0 20 0 1 0 63763945 38289408 6649 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9348 6649 804 745 0 8413 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 55984 KiB
Current children cumulated memory: 30352 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.08 4.09 6/264 344111
/proc/meminfo: memFree=129137908/131524600 swapFree=131063756/131071996
[pid=342133] ppid=342123 vsize=9932 memory=2808 CPUtime=1794.46 cores=0,2
/proc/342133/stat : 342133 (Hybrid-LSMabP+E) S 342123 342133 342071 0 -1 4194304 270 513 0 0 0 0 169203 10243 20 0 1 0 63584145 10170368 702 134679101440 94923352817664 94923353896984 140727395038512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94923355995440 94923356042628 94923376533504 140727395046378 140727395046523 140727395046523 140727395053538 0
/proc/342133/statm: 2483 702 612 264 0 134 0
[pid=343054] ppid=342133 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/343054/stat : 343054 (timeout) S 342133 343054 342071 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63763945 8867840 237 134679101440 94493374783488 94493374818504 140728112216928 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94493376915920 94493376918052 94493379256320 140728112223220 140728112223389 140728112223389 140728112230375 0
/proc/343054/statm: 2165 237 212 9 0 87 0
[pid=343056] ppid=343054 vsize=37392 memory=26596 CPUtime=1792.33 cores=0,2
/proc/343056/stat : 343056 (Exact) R 343054 343054 342071 0 -1 4194304 20795 0 0 0 179229 4 0 0 20 0 1 0 63763945 38289408 6649 134679101440 4194304 7243121 140720961127648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 35233792 140720961131536 140720961131686 140720961131686 140720961138672 0
/proc/343056/statm: 9348 6649 804 745 0 8413 0
Current children cumulated CPU time: 3586.79 s
Current children cumulated vsize: 55984 KiB
Current children cumulated memory: 30352 KiB
Child status: 0
Real time (s): 3596.02
CPU time (s): 3586.83
CPU user time (s): 3484.34
CPU system time (s): 102.492
CPU usage (%): 99.7445
Max. virtual memory (cumulated for all children) (KiB): 56336
Max. memory (cumulated for all children) (KiB): 30360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3484.34
system time used= 102.492
maximum resident set size= 26864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 24728
# summary of solver processes directly reported to runsolver:
# pid: 342133
# total CPU time (s): 3586.83
# total CPU user time (s): 3484.34
# total CPU system time (s): 102.492
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03743 second user time and 15.2919 second system time
The end
Begin job on nodeC029 at 2024-08-06 20:43:50 IDJOB=4437518 IDBENCH=147611 IDSOLVER=3071 FILE ID=nodeC029/4437518-1722969830 RUNJOBID= nodeC029-1722969830-342081 SLURM_JOB_ID= 8259049 Free space on /tmp= 890084 MiB SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437518-1722969830/watcher-4437518-1722969830 -o /tmp/evaluation-result-4437518-1722969830/solver-4437518-1722969830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722969830-342081 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437518-1722969830.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec RANDOM SEED=1478498606 nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 0xb00002a cpu MHz : 3715.275 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 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 : 0xb00002a cpu MHz : 3722.068 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 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 : 0xb00002a cpu MHz : 3772.741 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 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 : 0xb00002a cpu MHz : 3725.013 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 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 : 0xb00002a cpu MHz : 3877.086 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 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 : 0xb00002a cpu MHz : 3642.029 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 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 : 0xb00002a cpu MHz : 3616.441 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.02 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 : 0xb00002a cpu MHz : 3781.832 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129210220 kB MemAvailable: 129788276 kB Buffers: 335424 kB Cached: 1089904 kB SwapCached: 212 kB Active: 603348 kB Inactive: 1193860 kB Active(anon): 1596 kB Inactive(anon): 407764 kB Active(file): 601752 kB Inactive(file): 786096 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131063756 kB Dirty: 83128 kB Writeback: 0 kB AnonPages: 370840 kB Mapped: 97604 kB Shmem: 37408 kB KReclaimable: 60060 kB Slab: 153124 kB SReclaimable: 60060 kB SUnreclaim: 93064 kB KernelStack: 3880 kB PageTables: 9284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 741708 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 27904 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 287444 kB DirectMap2M: 24651776 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890000 MiB End job on nodeC029 at 2024-08-06 21:43:47