Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.08 | 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.29/16.35 c root propagations : 0 16.29/16.35 c restarts enabled, print stats at every restarts 16.29/16.35 c 16.29/16.35 c 16.29/16.35 c 16.29/16.35 c This is cosoco 2.00 -- 16.29/16.35 c 16.29/16.35 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397303-1568575352.xml 16.29/16.35 c ========================================[ Problem Statistics ]=========================================== 16.29/16.35 c | 16.29/16.35 c | Parse time : 16.20 s 16.29/16.35 c | 16.29/16.35 c | Variables: 25 16.29/16.35 c | Domain Sizes: 5..5 16.29/16.35 c | 16.29/16.35 c | Constraints: 58 16.29/16.35 c | Arity: 7..7 16.29/16.35 c | 16.29/16.35 c | Types: 16.29/16.35 c | Extension: 58 (nb tuples: 38458..39560) -- (shared: 0) 16.29/16.35 c | 16.29/16.35 c ========================================================================================================= 16.29/16.35 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 18.29/18.37 c 101 234 14611 5463 0 0 7 14 9 21.39/21.46 c 211 483 32357 11533 0 0 6 12 8 24.49/24.57 c 332 737 49181 17589 0 0 5 12 8 29.29/29.31 c 465 1040 72083 25471 0 0 5 11 7 32.49/32.55 c 611 1351 93960 33316 0 0 6 11 8 35.99/36.04 c 771 1720 118443 41963 0 0 6 12 8 39.19/39.27 c 947 2099 143082 50718 0 0 7 11 9 43.69/43.79 c 1140 2541 170812 59847 0 0 6 12 8 48.69/48.76 c 1352 2996 200326 70569 0 0 6 11 8 57.89/57.97 c 1585 3513 237065 83021 0 0 5 11 7 64.29/64.34 c 1841 4116 277977 96701 0 0 4 13 8 71.19/71.28 c 2122 4778 323146 112470 0 0 5 12 8 78.58/78.64 c 2431 5465 371335 129417 0 0 5 13 8 85.99/86.10 c 2770 6264 428668 148991 0 0 6 13 9 96.68/96.70 c 3142 7170 493069 170637 0 0 4 12 8 105.87/106.00 c 3551 8044 551715 190980 0 0 5 13 8 114.77/114.88 c 4000 8999 618370 213536 0 0 6 14 8 124.87/124.95 c 4493 10141 698639 240203 0 0 5 15 8 140.17/140.20 c 5035 11365 784249 269114 0 0 5 13 8 158.47/158.59 c 5631 12916 891360 304223 0 0 4 16 8 178.47/178.50 c 6286 14413 991559 338629 0 0 5 13 8 195.48/195.54 c 7006 16039 1106532 377390 0 0 4 12 8 211.58/211.60 c 7798 17928 1238264 422548 0 0 5 13 8 235.38/235.49 c 8669 19890 1378901 471551 0 0 4 14 8 253.28/253.39 c 9627 22222 1537037 525412 0 0 5 13 9 279.38/279.41 c 10680 24736 1705369 580300 0 0 6 13 8 311.69/311.73 c 11838 27437 1893864 645542 0 0 5 13 8 351.69/351.76 c 13111 30459 2097601 716626 0 0 3 14 8 392.79/392.87 c 14511 33841 2321444 794449 0 0 3 16 8 425.70/425.78 c 16051 37488 2571237 882593 0 0 5 14 8 471.60/471.61 c 17745 41460 2852818 977956 0 0 4 14 8 506.20/506.20 c 19608 45767 3138442 1079438 0 0 4 13 9 551.51/551.56 c 21657 50374 3450222 1185432 0 0 5 12 9 609.71/609.73 c 23910 55464 3805260 1308933 0 0 3 15 8 668.72/668.74 c 26388 61284 4208960 1448244 0 0 3 13 8 739.22/739.22 c 29113 67583 4648708 1598348 0 0 4 15 8 804.34/804.39 c 32110 74544 5104151 1753653 0 0 4 15 9 885.24/885.24 c 35406 82290 5648226 1940516 0 0 4 14 8 961.35/961.39 c 39031 90577 6209812 2128928 0 0 5 14 9 1052.76/1052.72 c 43018 100326 6872406 2343141 0 0 4 14 8 1183.87/1183.88 c 47403 110696 7585539 2592127 0 0 4 15 8 1321.38/1321.31 c 52226 122361 8381426 2859640 0 0 3 16 8 1442.29/1442.24 c 57531 134169 9194996 3141170 0 0 4 14 8 1548.80/1548.73 c 63366 147953 10152916 3468947 0 0 5 15 9 1677.51/1677.46 c 69784 163273 11171294 3815155 0 0 4 15 9 1859.73/1859.69 c 76843 180825 12357961 4214393 1 0 3 16 8 2079.05/2078.92 c 84607 199874 13666089 4656297 3 0 3 15 8 2300.06/2300.00 c 93147 221452 15090108 5125388 4 0 3 16 8 2400.07/2399.90 2400.07/2399.90 c *** INTERRUPTED *** 2400.07/2399.90 c restarts : 48 2400.07/2399.90 c conflicts : 96842 (40 /sec) 2400.07/2399.90 c decisions : 230303 (96 /sec) 2400.07/2399.90 c propagations : 5322893 (2218 /sec) 2400.07/2399.90 c root propagations : 0 2400.07/2399.90 c filter calls : 15700050 (6542 /sec) 2400.07/2399.90 c useless filter calls : 13168869 (83 %) 2400.07/2399.90 c Memory used : 199.52 MB 2400.07/2399.90 c CPU time : 2399.96 s 2400.07/2399.90 c real time : 2399.9 s 2400.07/2399.90 2400.07/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 (14490 MiB free) memory of node 1: 16384 MiB (15531 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397303-1568575352/watcher-4397303-1568575352 -o /tmp/evaluation-result-4397303-1568575352/solver-4397303-1568575352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397303-1568575352.xml running on 4 cores: 4-7 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=17665, runsolver pid=17662 [startup+0.100158 s]* /proc/loadavg: 2.00 2.00 1.89 3/201 17666 /proc/meminfo: memFree=30742148/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=28328 memory=4412 CPUtime=0.1 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 1369 0 0 0 10 0 0 0 20 0 1 0 433476923 29007872 1103 33554432000 4194304 6211092 140722553225728 140722553222264 5743366 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/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.210818 s]* /proc/loadavg: 2.00 2.00 1.89 3/201 17666 /proc/meminfo: memFree=30740664/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=29504 memory=5516 CPUtime=0.21 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 1745 0 0 0 21 0 0 0 20 0 1 0 433476923 30212096 1379 33554432000 4194304 6211092 140722553225728 140722553222264 5743366 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/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.310244 s]* /proc/loadavg: 2.00 2.00 1.89 3/201 17666 /proc/meminfo: memFree=30734972/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=34632 memory=10732 CPUtime=0.31 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 3412 0 0 0 31 0 0 0 20 0 1 0 433476923 35463168 2683 33554432000 4194304 6211092 140722553225728 140722553222264 5817719 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 8658 2683 808 493 0 1963 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 34632 KiB Current children cumulated memory: 10732 KiB [startup+0.700368 s] /proc/loadavg: 2.00 2.00 1.89 3/201 17666 /proc/meminfo: memFree=30735256/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=38912 memory=14688 CPUtime=0.69 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 4407 0 0 0 69 0 0 0 20 0 1 0 433476923 39845888 3672 33554432000 4194304 6211092 140722553225728 140722553223000 5484865 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 9728 3672 808 493 0 3033 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 38912 KiB Current children cumulated memory: 14688 KiB [startup+1.50033 s] /proc/loadavg: 2.00 2.00 1.89 3/201 17666 /proc/meminfo: memFree=30729148/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=46948 memory=21816 CPUtime=1.49 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 6236 0 0 0 149 0 0 0 20 0 1 0 433476923 48074752 5454 33554432000 4194304 6211092 140722553225728 140722553223000 139765154260096 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 11737 5454 808 493 0 5042 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 46948 KiB Current children cumulated memory: 21816 KiB [startup+3.11099 s] /proc/loadavg: 2.08 2.02 1.90 3/201 17666 /proc/meminfo: memFree=30711048/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=63284 memory=35524 CPUtime=3.1 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 11279 0 0 0 309 1 0 0 20 0 1 0 433476923 64802816 8881 33554432000 4194304 6211092 140722553225728 140722553223000 5817492 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 15821 8881 809 493 0 9126 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 63284 KiB Current children cumulated memory: 35524 KiB [startup+6.30035 s] /proc/loadavg: 2.08 2.02 1.90 3/201 17666 /proc/meminfo: memFree=30685428/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=92524 memory=62748 CPUtime=6.29 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 19697 0 0 0 627 2 0 0 20 0 1 0 433476923 94744576 15687 33554432000 4194304 6211092 140722553225728 140722553223000 5818439 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 23131 15687 809 493 0 16436 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 92524 KiB Current children cumulated memory: 62748 KiB [startup+12.7003 s] /proc/loadavg: 2.07 2.02 1.90 3/201 17668 /proc/meminfo: memFree=30632176/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=154300 memory=118980 CPUtime=12.69 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 35481 0 0 0 1265 4 0 0 20 0 1 0 433476923 158003200 29745 33554432000 4194304 6211092 140722553225728 140722553223000 5816138 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 38575 29745 809 493 0 31880 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 154300 KiB Current children cumulated memory: 118980 KiB [startup+25.5004 s] /proc/loadavg: 2.05 2.02 1.90 3/201 17668 /proc/meminfo: memFree=30577452/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=166852 CPUtime=25.49 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 115546 0 0 0 2541 8 0 0 20 0 1 0 433476923 209207296 41713 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 41713 855 493 0 44381 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 166852 KiB [startup+51.1109 s] /proc/loadavg: 2.04 2.02 1.90 3/201 17669 /proc/meminfo: memFree=30575064/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=169744 CPUtime=51.1 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 149880 0 0 0 5100 10 0 0 20 0 1 0 433476923 209207296 42436 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 42436 855 493 0 44381 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 169744 KiB [startup+102.3 s] /proc/loadavg: 2.02 2.01 1.91 3/202 17676 /proc/meminfo: memFree=30566512/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=177144 CPUtime=102.28 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 173321 0 0 0 10217 11 0 0 20 0 1 0 433476923 209207296 44286 33554432000 4194304 6211092 140722553225728 140722553223688 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 44286 855 493 0 44381 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 177144 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.01 1.91 3/202 17680 /proc/meminfo: memFree=30564140/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=162.27 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 177229 0 0 0 16216 11 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.92 3/200 17685 /proc/meminfo: memFree=30563744/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=222.28 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 177964 0 0 0 22217 11 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5039132 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.92 3/200 17691 /proc/meminfo: memFree=30563732/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=282.28 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 177964 0 0 0 28217 11 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5037744 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.93 3/200 17695 /proc/meminfo: memFree=30563564/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=342.29 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 178699 0 0 0 34218 11 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 342.29 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.94 3/199 17700 /proc/meminfo: memFree=30563444/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=402.29 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 178699 0 0 0 40218 11 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5039549 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 402.29 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.94 3/199 17706 /proc/meminfo: memFree=30563880/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=462.3 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 179434 0 0 0 46219 11 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 462.3 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB ################ # More data... # ################ /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 1662.41 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+1722.3 s] /proc/loadavg: 2.01 2.04 2.03 3/200 17890 /proc/meminfo: memFree=30352924/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=1722.41 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 186784 0 0 0 172229 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 1722.41 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.03 3/200 17894 /proc/meminfo: memFree=30352776/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=1782.42 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 187488 0 0 0 178230 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 1782.42 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+1842.3 s] /proc/loadavg: 2.04 2.04 2.04 3/200 17898 /proc/meminfo: memFree=30352620/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=1842.43 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 187507 0 0 0 184231 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 1842.43 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+1902.3 s] /proc/loadavg: 2.02 2.04 2.04 3/200 17904 /proc/meminfo: memFree=30353348/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=1902.43 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 188242 0 0 0 190231 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 1902.43 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.03 2.04 3/200 17908 /proc/meminfo: memFree=30353096/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=1962.44 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 188242 0 0 0 196232 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 1962.44 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.04 3/199 17913 /proc/meminfo: memFree=30352712/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2022.44 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 188959 0 0 0 202232 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5037744 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2022.44 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.04 3/199 17919 /proc/meminfo: memFree=30351984/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2082.45 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 188971 0 0 0 208233 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2082.45 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17923 /proc/meminfo: memFree=30352296/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2142.45 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 189662 0 0 0 214233 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2142.45 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17928 /proc/meminfo: memFree=30352492/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2202.46 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 189662 0 0 0 220234 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2202.46 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 17934 /proc/meminfo: memFree=30352152/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2262.46 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 190300 0 0 0 226234 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2262.46 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+2322.3 s] /proc/loadavg: 2.44 2.12 2.07 3/200 18007 /proc/meminfo: memFree=30489476/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2322.46 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 190372 0 0 0 232234 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2322.46 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB [startup+2382.3 s] /proc/loadavg: 2.35 2.17 2.09 3/201 18034 /proc/meminfo: memFree=30489728/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2382.47 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 191030 0 0 0 238235 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5039178 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2382.47 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.25 2.16 2.09 3/202 18037 /proc/meminfo: memFree=30489588/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2400.07 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 191035 0 0 0 239995 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 17665 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.96 s, system=0.128011 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.25 2.16 2.09 3/202 18037 /proc/meminfo: memFree=30489588/32770688 swapFree=66961176/67108860 [pid=17665] ppid=17662 vsize=204304 memory=180540 CPUtime=2400.07 cores=4-7 /proc/17665/stat : 17665 (cosoco) R 17662 17665 16726 0 -1 4202496 191035 0 0 0 239995 12 0 0 20 0 1 0 433476923 209207296 45135 33554432000 4194304 6211092 140722553225728 140722553223688 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 13824000 140722553230347 140722553230449 140722553230449 140722553233358 0 /proc/17665/statm: 51076 45135 855 493 0 44381 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 204304 KiB Current children cumulated memory: 180540 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.08 CPU user time (s): 2399.96 CPU system time (s): 0.128011 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 204304 Max. memory (cumulated for all children) (KiB): 180540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.96 system time used= 0.128011 maximum resident set size= 180600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 191078 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= 56 involuntary context switches= 611 # summary of solver processes directly reported to runsolver: # pid: 17665 # total CPU time (s): 2400.08 # total CPU user time (s): 2399.96 # total CPU system time (s): 0.128011 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.46185 second user time and 21.1557 second system time The end
Begin job on node116 at 2019-09-15 21:21:52 IDJOB=4397303 IDBENCH=125590 IDSOLVER=2849 FILE ID=node116/4397303-1568575352 RUNJOBID= node116-1568572744-16758 PBS_JOBID= 21703332 Free space on /tmp= 61196 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-4397303-1568575352/watcher-4397303-1568575352 -o /tmp/evaluation-result-4397303-1568575352/solver-4397303-1568575352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397303-1568575352.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2d7f03e466d78847960dc3f747db29ef RANDOM SEED=1662273607 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: 30742888 kB MemAvailable: 31847628 kB Buffers: 106480 kB Cached: 1293224 kB SwapCached: 46620 kB Active: 961552 kB Inactive: 489656 kB Active(anon): 6004 kB Inactive(anon): 94984 kB Active(file): 955548 kB Inactive(file): 394672 kB Unevictable: 110604 kB Mlocked: 110604 kB SwapTotal: 67108860 kB SwapFree: 66961176 kB Dirty: 35748 kB Writeback: 0 kB AnonPages: 117040 kB Mapped: 48000 kB Shmem: 40260 kB Slab: 168964 kB SReclaimable: 140712 kB SUnreclaim: 28252 kB KernelStack: 3536 kB PageTables: 5628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 536924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 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= 61196 MiB End job on node116 at 2019-09-15 22:01:52