Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabSP+Exact 2024-07-11 | SAT | 4 | 3585.92 | 3596.03 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8451009eff5aac10a49807ab684bf277 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| 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 |
3585.87/3596.03 o 1135 3585.87/3596.03 o 644 3585.87/3596.03 o 642 3585.87/3596.03 o 616 3585.87/3596.03 o 614 3585.87/3596.03 o 610 3585.87/3596.03 o 606 3585.87/3596.03 o 590 3585.87/3596.03 o 462 3585.87/3596.03 o 456 3585.87/3596.03 o 454 3585.87/3596.03 o 452 3585.87/3596.03 o 450 3585.87/3596.03 o 448 3585.87/3596.03 o 442 3585.87/3596.03 o 440 3585.87/3596.03 o 438 3585.87/3596.03 o 432 3585.87/3596.03 o 430 3585.87/3596.03 o 409 3585.87/3596.03 o 407 3585.87/3596.03 o 405 3585.87/3596.03 o 403 3585.87/3596.03 o 401 3585.87/3596.03 o 385 3585.87/3596.03 o 353 3585.87/3596.03 o 351 3585.87/3596.03 o 350 3585.87/3596.03 o 348 3585.87/3596.03 o 346 3585.87/3596.03 o 338 3585.87/3596.03 o 334 3585.87/3596.03 o 330 3585.87/3596.03 o 328 3585.87/3596.03 o 326 3585.87/3596.03 o 325 3585.87/3596.03 o 323 3585.87/3596.03 o 321 3585.87/3596.03 o 319 3585.87/3596.03 o 317 3585.87/3596.03 o 315 3585.87/3596.03 o 307 3585.87/3596.03 o 303 3585.87/3596.03 o 296 3585.87/3596.03 o 294 3585.87/3596.03 o 292 3585.87/3596.03 o 290 3585.87/3596.03 o 226 3585.87/3596.03 o 224 3585.87/3596.03 o 222 3585.87/3596.03 o 220 3585.87/3596.03 o 218 3585.87/3596.03 o 214 3585.87/3596.03 o 210 3585.87/3596.03 o 206 3585.87/3596.03 o 204 3585.87/3596.03 o 196 3585.87/3596.03 o 164 3585.87/3596.03 o 163 3585.87/3596.03 o 159 3585.87/3596.03 o 151 3585.87/3596.03 o 147 3585.87/3596.03 o 143 3585.87/3596.03 o 135 3585.87/3596.03 o 126 3585.87/3596.03 o 122 3585.87/3596.03 o 120 3585.87/3596.03 o 118 3585.87/3596.03 o 114 3585.87/3596.03 o 113 3585.87/3596.03 o 109 3585.87/3596.03 o 105 3585.87/3596.03 o 104 3585.87/3596.03 o 102 3585.87/3596.03 o 96 3585.87/3596.03 o 95 3585.87/3596.03 o 93 3585.87/3596.03 o 90 3585.87/3596.03 o 89 3585.87/3596.03 o 85 3585.87/3596.03 o 83 3585.87/3596.03 o 80 3585.87/3596.03 o 78 3585.87/3596.03 o 74 3585.87/3596.03 o 66 3585.87/3596.03 o 65 3585.87/3596.03 o 63 3585.87/3596.03 o 62 3585.87/3596.03 o 60 3585.87/3596.03 o 56 3585.87/3596.03 o 55 3585.87/3596.03 o 54 3585.87/3596.03 o 53 3585.87/3596.03 o 51 3585.87/3596.03 o 49 3585.87/3596.03 o 47 3585.87/3596.03 o 45 3585.87/3596.03 o 41 3585.87/3596.03 o 38 3585.87/3596.03 o 30 3585.87/3596.03 o 29 3585.87/3596.03 o 27 3585.87/3596.03 o 25 3585.87/3596.03 o 21 3585.87/3596.03 o 20 3585.87/3596.03 o 16 3585.87/3596.03 o 14 3585.87/3596.03 o 13 3585.87/3596.03 o 12 3585.87/3596.03 o 11 3585.87/3596.03 o 10 3585.87/3596.03 o 8 3585.87/3596.03 o 6 3585.87/3596.03 o 4 3585.87/3596.03 c Program interrupted by user. 3585.87/3596.03 s SATISFIABLE 3585.87/3596.03 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
OK 4
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: 64059 MiB (62150 MiB free)
memory of node 1: 64510 MiB (60374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437114-1722957201/watcher-4437114-1722957201 -o /tmp/evaluation-result-4437114-1722957201/solver-4437114-1722957201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722948202-332477 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437114-1722957201.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=337874, runsolver pid=337871
[startup+0.100372 s]*
/proc/loadavg: 4.12 4.27 4.20 4/249 337888
/proc/meminfo: memFree=125459024/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=26460 memory=19532 CPUtime=0.09 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 1779 0 0 0 9 0 0 0 20 0 1 0 62315720 27095040 4883 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 6615 4883 2833 2753 0 3268 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 23120 KiB
[startup+0.214193 s]*
/proc/loadavg: 4.12 4.27 4.20 5/248 337894
/proc/meminfo: memFree=125450396/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=31116 memory=23224 CPUtime=0.2 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 2721 0 0 0 20 0 0 0 20 0 1 0 62315720 31862784 5806 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 7779 5806 2833 2753 0 4432 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49708 KiB
Current children cumulated memory: 26812 KiB
[startup+0.314532 s]*
/proc/loadavg: 4.12 4.27 4.20 6/248 337909
/proc/meminfo: memFree=125458960/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=36192 memory=27244 CPUtime=0.3 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 3709 0 0 0 29 1 0 0 20 0 1 0 62315720 37060608 6811 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 9048 6811 2849 2753 0 5701 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54784 KiB
Current children cumulated memory: 30832 KiB
[startup+0.700471 s]
/proc/loadavg: 4.12 4.27 4.20 5/249 337914
/proc/meminfo: memFree=125437628/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=36520 memory=28036 CPUtime=0.67 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 3878 0 0 0 66 1 0 0 20 0 1 0 62315720 37396480 7009 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 9130 7009 2849 2753 0 5783 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 55112 KiB
Current children cumulated memory: 31624 KiB
[startup+1.5005 s]
/proc/loadavg: 4.12 4.27 4.20 5/254 337923
/proc/meminfo: memFree=125418576/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=42472 memory=34104 CPUtime=1.46 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 5474 0 0 0 145 1 0 0 20 0 1 0 62315720 43491328 8526 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 10618 8526 2849 2753 0 7271 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 61064 KiB
Current children cumulated memory: 37692 KiB
[startup+3.11439 s]
/proc/loadavg: 4.19 4.28 4.21 5/254 337927
/proc/meminfo: memFree=126332228/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=46020 memory=37532 CPUtime=3.08 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 6323 0 0 0 306 2 0 0 20 0 1 0 62315720 47124480 9383 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 11505 9383 2849 2753 0 8158 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64612 KiB
Current children cumulated memory: 41120 KiB
[startup+6.30047 s]
/proc/loadavg: 4.19 4.28 4.21 5/250 337951
/proc/meminfo: memFree=126136104/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=52136 memory=44828 CPUtime=6.25 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 8473 0 0 0 623 2 0 0 20 0 1 0 62315720 53387264 11207 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 13034 11207 2849 2753 0 9687 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 70728 KiB
Current children cumulated memory: 48416 KiB
[startup+12.7005 s]
/proc/loadavg: 4.18 4.28 4.20 6/254 337986
/proc/meminfo: memFree=125996776/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=57396 memory=49832 CPUtime=12.63 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 9742 0 0 0 1261 2 0 0 20 0 1 0 62315720 58773504 12458 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 14349 12458 2849 2753 0 11002 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 75988 KiB
Current children cumulated memory: 53420 KiB
[startup+25.5005 s]
/proc/loadavg: 4.22 4.28 4.21 5/254 337989
/proc/meminfo: memFree=125952924/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=69616 memory=60396 CPUtime=25.38 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 12691 0 0 0 2536 2 0 0 20 0 1 0 62315720 71286784 15099 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 17404 15099 2849 2753 0 14057 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 88208 KiB
Current children cumulated memory: 63984 KiB
[startup+51.1132 s]
/proc/loadavg: 4.14 4.26 4.20 5/254 337992
/proc/meminfo: memFree=125880468/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 667 587 264 0 134 0
[pid=337878] ppid=337874 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/337878/stat : 337878 (timeout) S 337874 337878 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62315720 8867840 230 134679101440 94328787296256 94328787331272 140727937073776 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94328789428688 94328789430820 94328807718912 140727937082409 140727937082525 140727937082525 140727937089511 0
/proc/337878/statm: 2165 230 205 9 0 87 0
[pid=337882] ppid=337878 vsize=76924 memory=69792 CPUtime=50.9 cores=5,7
/proc/337882/stat : 337882 (LS-MabSP) R 337878 337878 332464 0 -1 4194304 15020 0 0 0 5088 2 0 0 20 0 1 0 62315720 78770176 17448 134679101440 4194304 15467897 140724950181696 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49991680 140724950189116 140724950189219 140724950189219 140724950196205 0
/proc/337882/statm: 19231 17448 3195 2753 0 15884 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 95516 KiB
Current children cumulated memory: 73380 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.23 4.19 5/254 338001
/proc/meminfo: memFree=125759252/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 62315719 10170368 667 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
################
# More data... #
################
/proc/338934/statm: 8576 5187 748 737 0 7664 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 52896 KiB
Current children cumulated memory: 24500 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.16 3.38 4/242 339852
/proc/meminfo: memFree=126428264/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34304 memory=20748 CPUtime=1659.31 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15254 0 0 0 165927 4 0 0 20 0 1 0 62495521 35127296 5187 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8576 5187 748 737 0 7664 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 52896 KiB
Current children cumulated memory: 24500 KiB
[startup+3522.3 s]
/proc/loadavg: 3.19 3.18 3.37 5/242 339862
/proc/meminfo: memFree=126427556/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34304 memory=20960 CPUtime=1719.13 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15276 0 0 0 171909 4 0 0 20 0 1 0 62495521 35127296 5240 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8576 5240 748 737 0 7664 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 52896 KiB
Current children cumulated memory: 24712 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.16 3.35 4/242 339873
/proc/meminfo: memFree=126426492/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34304 memory=20960 CPUtime=1778.95 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15283 0 0 0 177891 4 0 0 20 0 1 0 62495521 35127296 5240 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8576 5240 748 737 0 7664 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 52896 KiB
Current children cumulated memory: 24712 KiB
[startup+3596.03 s]
# the end of solver process 337874 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3525.31 s, system=60.6105 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.11 3.16 3.35 4/242 339875
/proc/meminfo: memFree=126426240/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34304 memory=20960 CPUtime=1780.66 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15283 0 0 0 178062 4 0 0 20 0 1 0 62495521 35127296 5240 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8576 5240 748 737 0 7664 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 52896 KiB
Current children cumulated memory: 24712 KiB
[startup+3590.4 s]
/proc/loadavg: 3.18 3.17 3.35 4/242 339875
/proc/meminfo: memFree=126426184/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34496 memory=20960 CPUtime=1787.03 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15296 0 0 0 178699 4 0 0 20 0 1 0 62495521 35323904 5240 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8624 5240 748 737 0 7712 0
Current children cumulated CPU time: 3580.28 s
Current children cumulated vsize: 53088 KiB
Current children cumulated memory: 24712 KiB
[startup+3593.6 s]
/proc/loadavg: 3.18 3.17 3.35 4/242 339876
/proc/meminfo: memFree=126426184/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34496 memory=20960 CPUtime=1790.22 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15296 0 0 0 179018 4 0 0 20 0 1 0 62495521 35323904 5240 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8624 5240 748 737 0 7712 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 53088 KiB
Current children cumulated memory: 24712 KiB
[startup+3595.2 s]
/proc/loadavg: 3.17 3.17 3.35 4/242 339876
/proc/meminfo: memFree=126426100/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34496 memory=20960 CPUtime=1791.81 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15299 0 0 0 179177 4 0 0 20 0 1 0 62495521 35323904 5240 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8624 5240 748 737 0 7712 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 53088 KiB
Current children cumulated memory: 24712 KiB
[startup+3595.6 s]
/proc/loadavg: 3.17 3.17 3.35 4/242 339876
/proc/meminfo: memFree=126426100/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34496 memory=20960 CPUtime=1792.21 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15299 0 0 0 179217 4 0 0 20 0 1 0 62495521 35323904 5240 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8624 5240 748 737 0 7712 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 53088 KiB
Current children cumulated memory: 24712 KiB
[startup+3596 s]*
/proc/loadavg: 3.17 3.17 3.35 3/238 339898
/proc/meminfo: memFree=126451252/131655788 swapFree=131071996/131071996
[pid=337874] ppid=337871 vsize=9932 memory=2768 CPUtime=1793.25 cores=5,7
/proc/337874/stat : 337874 (Hybrid-LSMabSP+) S 337871 337874 332464 0 -1 4194304 269 73018 0 0 0 0 173271 6054 20 0 1 0 62315719 10170368 692 134679101440 94392402345984 94392403425304 140723327975424 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94392405523760 94392405570948 94392410587136 140723327984616 140723327984762 140723327984762 140723327991777 0
/proc/337874/statm: 2483 692 602 264 0 134 0
[pid=338933] ppid=337874 vsize=8660 memory=984 CPUtime=0 cores=5,7
/proc/338933/stat : 338933 (timeout) S 337874 338933 332464 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62495520 8867840 246 134679101440 94852483571712 94852483606728 140722979122784 0 0 0 0 3293184 73735 0 0 0 17 5 0 0 0 0 0 94852485704144 94852485706276 94852503777280 140722979128308 140722979128477 140722979128477 140722979135463 0
/proc/338933/statm: 2165 246 221 9 0 87 0
[pid=338934] ppid=338933 vsize=34496 memory=20960 CPUtime=1792.62 cores=5,7
/proc/338934/stat : 338934 (Exact) R 338933 338933 332464 0 -1 4194304 15304 0 0 0 179258 4 0 0 20 0 1 0 62495521 35323904 5240 134679101440 4194304 7210733 140737153523872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 38154240 140737153528848 140737153528998 140737153528998 140737153535984 0
/proc/338934/statm: 8624 5240 748 737 0 7712 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 53088 KiB
Current children cumulated memory: 24712 KiB
Child status: 0
Real time (s): 3596.03
CPU time (s): 3585.92
CPU user time (s): 3525.31
CPU system time (s): 60.6105
CPU usage (%): 99.7189
Max. virtual memory (cumulated for all children) (KiB): 360548
Max. memory (cumulated for all children) (KiB): 324308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3525.31
system time used= 60.6104
maximum resident set size= 320720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96
involuntary context switches= 2326
# summary of solver processes directly reported to runsolver:
# pid: 337874
# total CPU time (s): 3585.92
# total CPU user time (s): 3525.31
# total CPU system time (s): 60.6105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8115 second user time and 33.9959 second system time
The end
Begin job on nodeC002 at 2024-08-06 17:13:21 IDJOB=4437114 IDBENCH=147612 IDSOLVER=3070 FILE ID=nodeC002/4437114-1722957201 RUNJOBID= nodeC002-1722948202-332477 SLURM_JOB_ID= 8258990 Free space on /tmp= 723688 MiB SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437114-1722957201/watcher-4437114-1722957201 -o /tmp/evaluation-result-4437114-1722957201/solver-4437114-1722957201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722948202-332477 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437114-1722957201.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277 RANDOM SEED=1519030755 nodeC002.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 : 0xb00001f cpu MHz : 3561.827 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 invpcid_single pti 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 : 6983.65 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 : 3488.123 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 invpcid_single pti 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 : 6983.23 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.219 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 invpcid_single pti 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 : 6983.65 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.199 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 invpcid_single pti 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 : 6983.23 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 : 3678.777 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 invpcid_single pti 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 : 6983.65 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 : 2946.335 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 invpcid_single pti 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 : 6983.23 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.208 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 invpcid_single pti 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 : 6983.65 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.197 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 invpcid_single pti 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 : 6983.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125472236 kB MemAvailable: 128890400 kB Buffers: 343680 kB Cached: 3900104 kB SwapCached: 0 kB Active: 649012 kB Inactive: 4996384 kB Active(anon): 1936 kB Inactive(anon): 1445564 kB Active(file): 647076 kB Inactive(file): 3550820 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 41492 kB Writeback: 8 kB AnonPages: 1401528 kB Mapped: 124736 kB Shmem: 45896 kB KReclaimable: 120600 kB Slab: 208884 kB SReclaimable: 120600 kB SUnreclaim: 88284 kB KernelStack: 3952 kB PageTables: 12068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1955524 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 24640 kB HardwareCorrupted: 0 kB AnonHugePages: 1286144 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: 318280 kB DirectMap2M: 26849280 kB DirectMap1G: 109051904 kB Free space on /tmp at the end= 723716 MiB End job on nodeC002 at 2024-08-06 18:13:17