Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.09 | 2399.9 |
Name | QRandom/QRandom-mdd-7-25-5-p7/ mdd-7-25-5-ps05-psh07-9.xml |
MD5SUM | 2d7f03e466d78847960dc3f747db29ef |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 42.9682 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 58 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 12 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":23,"count":1},{"degree":25,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":58}] |
Number of extensional constraints | 58 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":58}] |
Optimization problem | NO |
Type of objective |
16.39/16.48 c root propagations : 0 16.39/16.48 c restarts enabled, print stats at every restarts 16.39/16.48 c 16.39/16.48 c 16.39/16.48 c 16.39/16.48 c This is cosoco 2.00 -- 16.39/16.48 c 16.39/16.48 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408563-1569792197.xml 16.39/16.48 c ========================================[ Problem Statistics ]=========================================== 16.39/16.48 c | 16.39/16.48 c | Parse time : 16.32 s 16.39/16.48 c | 16.39/16.48 c | Variables: 25 16.39/16.48 c | Domain Sizes: 5..5 16.39/16.48 c | 16.39/16.48 c | Constraints: 58 16.39/16.48 c | Arity: 7..7 16.39/16.48 c | 16.39/16.48 c | Types: 16.39/16.48 c | Extension: 58 (nb tuples: 38458..39560) -- (shared: 0) 16.39/16.48 c | 16.39/16.48 c ========================================================================================================= 16.39/16.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 18.49/18.53 c 101 234 14611 5463 0 0 7 14 9 21.59/21.64 c 211 483 32357 11533 0 0 6 12 8 24.68/24.73 c 332 737 49181 17589 0 0 5 12 8 29.49/29.54 c 465 1040 72083 25471 0 0 5 11 7 32.69/32.74 c 611 1351 93960 33316 0 0 6 11 8 36.19/36.26 c 771 1720 118443 41963 0 0 6 12 8 39.39/39.48 c 947 2099 143082 50718 0 0 7 11 9 43.88/43.98 c 1140 2541 170812 59847 0 0 6 12 8 48.99/49.04 c 1352 2996 200326 70569 0 0 6 11 8 58.18/58.27 c 1585 3513 237065 83021 0 0 5 11 7 64.49/64.58 c 1841 4116 277977 96701 0 0 4 13 8 71.48/71.53 c 2122 4778 323146 112470 0 0 5 12 8 78.88/78.95 c 2431 5465 371335 129417 0 0 5 13 8 86.38/86.49 c 2770 6264 428668 148991 0 0 6 13 9 96.99/97.01 c 3142 7170 493069 170637 0 0 4 12 8 106.18/106.27 c 3551 8044 551715 190980 0 0 5 13 8 114.99/115.05 c 4000 8999 618370 213536 0 0 6 14 8 124.99/125.07 c 4493 10141 698639 240203 0 0 5 15 8 140.10/140.18 c 5035 11365 784249 269114 0 0 5 13 8 158.39/158.48 c 5631 12916 891360 304223 0 0 4 16 8 178.19/178.23 c 6286 14413 991559 338629 0 0 5 13 8 195.10/195.14 c 7006 16039 1106532 377390 0 0 4 12 8 211.10/211.13 c 7798 17928 1238264 422548 0 0 5 13 8 234.79/234.86 c 8669 19890 1378901 471551 0 0 4 14 8 252.59/252.66 c 9627 22222 1537037 525412 0 0 5 13 9 278.49/278.52 c 10680 24736 1705369 580300 0 0 6 13 8 310.50/310.56 c 11838 27437 1893864 645542 0 0 5 13 8 350.30/350.34 c 13111 30459 2097601 716626 0 0 3 14 8 391.20/391.21 c 14511 33841 2321444 794449 0 0 3 16 8 423.91/423.94 c 16051 37488 2571237 882593 0 0 5 14 8 469.41/469.49 c 17745 41460 2852818 977956 0 0 4 14 8 503.91/503.91 c 19608 45767 3138442 1079438 0 0 4 13 9 548.91/548.97 c 21657 50374 3450222 1185432 0 0 5 12 9 606.72/606.78 c 23910 55464 3805260 1308933 0 0 3 15 8 665.52/665.51 c 26388 61284 4208960 1448244 0 0 3 13 8 735.53/735.59 c 29113 67583 4648708 1598348 0 0 4 15 8 800.24/800.29 c 32110 74544 5104151 1753653 0 0 4 15 9 880.85/880.82 c 35406 82290 5648226 1940516 0 0 4 14 8 956.46/956.49 c 39031 90577 6209812 2128928 0 0 5 14 9 1047.17/1047.15 c 43018 100326 6872406 2343141 0 0 4 14 8 1177.67/1177.61 c 47403 110696 7585539 2592127 0 0 4 15 8 1314.19/1314.18 c 52226 122361 8381426 2859640 0 0 3 16 8 1434.29/1434.21 c 57531 134169 9194996 3141170 0 0 4 14 8 1540.30/1540.24 c 63366 147953 10152916 3468947 0 0 5 15 9 1668.82/1668.72 c 69784 163273 11171294 3815155 0 0 4 15 9 1850.24/1850.13 c 76843 180825 12357961 4214393 1 0 3 16 8 2067.95/2067.89 c 84607 199874 13666089 4656297 3 0 3 15 8 2287.37/2287.20 c 93147 221452 15090108 5125388 4 0 3 16 8 2400.08/2399.90 2400.08/2399.90 c *** INTERRUPTED *** 2400.08/2399.90 c restarts : 48 2400.08/2399.90 c conflicts : 97359 (41 /sec) 2400.08/2399.90 c decisions : 231674 (97 /sec) 2400.08/2399.90 c propagations : 5351388 (2230 /sec) 2400.08/2399.90 c root propagations : 0 2400.08/2399.90 c filter calls : 15791273 (6580 /sec) 2400.08/2399.90 c useless filter calls : 13246480 (83 %) 2400.08/2399.90 c Memory used : 199.52 MB 2400.08/2399.90 c CPU time : 2399.94 s 2400.08/2399.90 c real time : 2399.9 s 2400.08/2399.90 2400.08/2399.90 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) 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: 16375 MiB (15400 MiB free) memory of node 1: 16384 MiB (15336 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408563-1569792197/watcher-4408563-1569792197 -o /tmp/evaluation-result-4408563-1569792197/solver-4408563-1569792197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408563-1569792197.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=27162, runsolver pid=27159 [startup+0.10011 s]* /proc/loadavg: 2.00 2.01 1.97 3/199 27163 /proc/meminfo: memFree=31474288/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=28328 memory=4412 CPUtime=0.1 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 1364 0 0 0 10 0 0 0 20 0 1 0 555161319 29007872 1103 33554432000 4194304 6211132 140729584478192 140729584474728 5814093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 7082 1103 803 493 0 387 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28328 KiB Current children cumulated memory: 4412 KiB [startup+0.210732 s]* /proc/loadavg: 2.00 2.01 1.97 3/199 27163 /proc/meminfo: memFree=31473048/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=29504 memory=5516 CPUtime=0.21 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 1737 0 0 0 21 0 0 0 20 0 1 0 555161319 30212096 1379 33554432000 4194304 6211132 140729584478192 140729584474728 5484894 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 7376 1379 803 493 0 681 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 29504 KiB Current children cumulated memory: 5516 KiB [startup+0.310355 s]* /proc/loadavg: 2.00 2.01 1.97 3/199 27163 /proc/meminfo: memFree=31466932/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=34632 memory=10736 CPUtime=0.31 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 3413 0 0 0 31 0 0 0 20 0 1 0 555161319 35463168 2684 33554432000 4194304 6211132 140729584478192 140729584474728 5814679 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 8658 2684 809 493 0 1963 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 34632 KiB Current children cumulated memory: 10736 KiB [startup+0.700314 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27163 /proc/meminfo: memFree=31466932/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=38912 memory=14692 CPUtime=0.69 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 4408 0 0 0 69 0 0 0 20 0 1 0 555161319 39845888 3673 33554432000 4194304 6211132 140729584478192 140729584475464 5818712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 9728 3673 809 493 0 3033 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 38912 KiB Current children cumulated memory: 14692 KiB [startup+1.50026 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27163 /proc/meminfo: memFree=31461232/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=46948 memory=21820 CPUtime=1.48 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 6237 0 0 0 148 0 0 0 20 0 1 0 555161319 48074752 5455 33554432000 4194304 6211132 140729584478192 140729584475464 5812204 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 11737 5455 809 493 0 5042 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 46948 KiB Current children cumulated memory: 21820 KiB [startup+3.11064 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27163 /proc/meminfo: memFree=31445432/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=61864 memory=34476 CPUtime=3.1 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 11008 0 0 0 309 1 0 0 20 0 1 0 555161319 63348736 8619 33554432000 4194304 6211132 140729584478192 140729584475464 5230585 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 15466 8619 810 493 0 8771 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 61864 KiB Current children cumulated memory: 34476 KiB [startup+6.30025 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27163 /proc/meminfo: memFree=31418276/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=92524 memory=62760 CPUtime=6.29 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 19694 0 0 0 625 4 0 0 20 0 1 0 555161319 94744576 15690 33554432000 4194304 6211132 140729584478192 140729584475464 5818435 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 23131 15690 810 493 0 16436 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 92524 KiB Current children cumulated memory: 62760 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27163 /proc/meminfo: memFree=31366816/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=152680 memory=116888 CPUtime=12.69 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 34956 0 0 0 1263 6 0 0 20 0 1 0 555161319 156344320 29222 33554432000 4194304 6211132 140729584478192 140729584475464 5707868 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 38170 29222 810 493 0 31475 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 152680 KiB Current children cumulated memory: 116888 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27165 /proc/meminfo: memFree=31311024/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=166848 CPUtime=25.49 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 115335 0 0 0 2539 10 0 0 20 0 1 0 555161319 209207296 41712 33554432000 4194304 6211132 140729584478192 140729584476152 5038990 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 41712 855 493 0 44381 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 166848 KiB [startup+51.111 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27166 /proc/meminfo: memFree=31305356/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=170980 CPUtime=51.09 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 146479 0 0 0 5098 11 0 0 20 0 1 0 555161319 209207296 42745 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 42745 855 493 0 44381 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 170980 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27170 /proc/meminfo: memFree=31297656/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=178340 CPUtime=102.28 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 169574 0 0 0 10216 12 0 0 20 0 1 0 555161319 209207296 44585 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 44585 855 493 0 44381 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 178340 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27176 /proc/meminfo: memFree=31294984/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=162.29 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 174073 0 0 0 16216 13 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27180 /proc/meminfo: memFree=31295116/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=222.29 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 174801 0 0 0 22216 13 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27184 /proc/meminfo: memFree=31295484/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=282.29 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 174801 0 0 0 28216 13 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27191 /proc/meminfo: memFree=31295172/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=342.3 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 175529 0 0 0 34217 13 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038990 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 342.3 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27195 /proc/meminfo: memFree=31295216/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=402.3 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 175529 0 0 0 40217 13 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 402.3 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+462.3 s] /proc/loadavg: 1.90 1.98 1.96 3/200 27333 /proc/meminfo: memFree=31100924/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=462.31 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 176257 0 0 0 46218 13 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 462.31 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB ################ # More data... # ################ /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 1662.42 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27445 /proc/meminfo: memFree=31089560/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=1722.43 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 183537 0 0 0 172228 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 1722.43 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27451 /proc/meminfo: memFree=31089352/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=1782.43 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 184240 0 0 0 178228 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 1782.43 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27470 /proc/meminfo: memFree=31088308/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=1842.43 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 184253 0 0 0 184228 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 1842.43 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27474 /proc/meminfo: memFree=31088552/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=1902.44 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 184952 0 0 0 190229 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 1902.44 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27481 /proc/meminfo: memFree=31088820/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=1962.44 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 184981 0 0 0 196229 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 1962.44 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27485 /proc/meminfo: memFree=31089100/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2022.45 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 185691 0 0 0 202230 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5037823 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2022.45 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27489 /proc/meminfo: memFree=31089572/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2082.45 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 185703 0 0 0 208230 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2082.45 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27496 /proc/meminfo: memFree=31089412/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2142.46 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 186391 0 0 0 214231 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2142.46 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.03 3/199 27500 /proc/meminfo: memFree=31089848/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2202.46 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 186395 0 0 0 220231 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2202.46 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27512 /proc/meminfo: memFree=31089280/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2262.47 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 187026 0 0 0 226232 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5039185 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2262.47 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27543 /proc/meminfo: memFree=31088216/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2322.47 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 187098 0 0 0 232232 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2322.47 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.03 3/200 27547 /proc/meminfo: memFree=31088100/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2382.48 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 187715 0 0 0 238233 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2382.48 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.03 3/201 27550 /proc/meminfo: memFree=31088008/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2400.08 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 187720 0 0 0 239993 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 27162 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.94 s, system=0.155013 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.03 3/201 27550 /proc/meminfo: memFree=31088008/32770688 swapFree=67001368/67108860 [pid=27162] ppid=27159 vsize=204304 memory=180536 CPUtime=2400.08 cores=0-3 /proc/27162/stat : 27162 (cosoco) R 27159 27162 26332 0 -1 4202496 187720 0 0 0 239993 15 0 0 20 0 1 0 555161319 209207296 45134 33554432000 4194304 6211132 140729584478192 140729584476152 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30416896 140729584481291 140729584481393 140729584481393 140729584484302 0 /proc/27162/statm: 51076 45134 855 493 0 44381 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180536 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.09 CPU user time (s): 2399.94 CPU system time (s): 0.155013 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 204304 Max. memory (cumulated for all children) (KiB): 180536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.94 system time used= 0.155013 maximum resident set size= 180596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187762 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41 involuntary context switches= 849 # summary of solver processes directly reported to runsolver: # pid: 27162 # total CPU time (s): 2400.09 # total CPU user time (s): 2399.94 # total CPU system time (s): 0.155013 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.6724 second user time and 18.8285 second system time The end
Begin job on node116 at 2019-09-29 23:22:36 IDJOB=4408563 IDBENCH=125590 IDSOLVER=2875 FILE ID=node116/4408563-1569792197 RUNJOBID= node116-1569787351-26363 PBS_JOBID= 21705835 Free space on /tmp= 61996 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-9.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408563-1569792197/watcher-4408563-1569792197 -o /tmp/evaluation-result-4408563-1569792197/solver-4408563-1569792197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408563-1569792197.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2d7f03e466d78847960dc3f747db29ef RANDOM SEED=1442224680 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 31475916 kB MemAvailable: 31855512 kB Buffers: 189012 kB Cached: 511452 kB SwapCached: 3260 kB Active: 404576 kB Inactive: 303008 kB Active(anon): 25380 kB Inactive(anon): 63324 kB Active(file): 379196 kB Inactive(file): 239684 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001368 kB Dirty: 35632 kB Writeback: 0 kB AnonPages: 115292 kB Mapped: 27908 kB Shmem: 72416 kB Slab: 183496 kB SReclaimable: 153100 kB SUnreclaim: 30396 kB KernelStack: 3488 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 569592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61960 MiB End job on node116 at 2019-09-30 00:02:36