Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.01 | 2399.8 |
Name | Crossword/ Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-9-12.xml |
MD5SUM | a9927b7810a76af14e99b6eaf4b0df2c |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 108 |
Number of constraints | 21 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":108}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":108}] |
Minimum constraint arity | 9 |
Maximum constraint arity | 12 |
Distribution of constraint arities | [{"arity":9,"count":12},{"arity":12,"count":9}] |
Number of extensional constraints | 21 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":21}] |
Optimization problem | NO |
Type of objective |
1.39/1.44 c root propagations : 84 1.39/1.44 c restarts enabled, print stats at every restarts 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c This is cosoco 2.00 -- 1.39/1.44 c 1.39/1.44 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397415-1568589835.xml 1.39/1.44 c ========================================[ Problem Statistics ]=========================================== 1.39/1.44 c | 1.39/1.44 c | Parse time : 1.30 s 1.39/1.44 c | 1.39/1.44 c | Variables: 108 1.39/1.44 c | Domain Sizes: 26..26 1.39/1.44 c | 1.39/1.44 c | Constraints: 21 1.39/1.44 c | Arity: 9..12 1.39/1.44 c | 1.39/1.44 c | Types: 1.39/1.44 c | Extension: 21 (nb tuples: 51049..63138) -- (shared: 19) 1.39/1.44 c | 1.39/1.44 c ========================================================================================================= 1.39/1.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.79/3.80 c 101 318 8205 121604 44 0 4 23 15 6.19/6.23 c 211 834 18338 242300 44 0 6 34 24 9.59/9.63 c 332 1116 26839 381273 44 0 13 25 16 10.59/10.63 c 465 1451 39246 521074 44 0 18 29 23 13.79/13.89 c 611 2008 52624 708791 44 0 8 28 21 17.39/17.46 c 771 2402 66559 892700 44 0 14 24 17 22.00/22.02 c 947 3039 82526 1134147 44 0 6 26 18 29.89/29.98 c 1140 3722 99459 1407362 44 0 3 25 14 35.49/35.51 c 1352 4177 115703 1676839 44 0 4 26 17 43.19/43.28 c 1585 4867 136486 2008076 44 0 4 24 14 46.10/46.11 c 1841 5651 159686 2258983 44 0 14 34 25 50.00/50.05 c 2122 6312 182185 2594795 44 0 14 26 19 64.00/64.10 c 2431 7273 207157 2999907 44 0 5 27 13 76.89/77.00 c 2770 8061 231889 3442874 44 0 6 29 14 81.10/81.17 c 3142 9054 262773 3853906 44 0 13 26 21 89.10/89.15 c 3551 10008 297522 4298939 44 0 17 26 20 99.69/99.74 c 4000 11183 332990 4875565 44 0 13 32 20 119.10/119.19 c 4493 12741 372765 5517454 44 0 6 31 16 136.79/136.82 c 5035 14204 411422 6129518 44 0 8 25 16 161.20/161.21 c 5631 15711 457863 6851816 44 0 6 26 15 166.60/166.65 c 6286 17744 517588 7518470 44 0 13 27 23 172.30/172.36 c 7006 20119 582144 8212967 44 0 15 29 25 186.60/186.65 c 7798 22245 646736 9157589 44 0 4 30 20 203.80/203.88 c 8669 24630 722675 10225360 44 0 8 26 18 235.30/235.34 c 9627 27415 799650 11408941 44 0 6 31 18 252.30/252.31 c 10680 30336 887096 12644614 44 0 8 27 19 263.60/263.68 c 11838 33869 1002067 14000135 44 0 11 28 21 308.32/308.30 c 13111 38202 1115146 15645437 44 0 9 29 17 340.92/340.96 c 14511 41409 1222112 17341484 44 0 13 28 19 374.52/374.53 c 16051 46312 1359040 19390206 44 0 5 35 21 391.82/391.86 c 17745 51577 1520852 21482798 44 0 11 36 27 425.04/425.04 c 19608 56687 1693234 23719791 44 0 13 29 20 481.23/481.28 c 21657 62079 1853117 26279579 44 0 7 33 20 506.43/506.47 c 23910 68808 2066348 28828005 44 0 10 30 22 586.44/586.46 c 26388 77690 2303811 32132896 44 0 6 25 18 633.55/633.50 c 29113 84356 2539058 35421212 44 0 13 27 19 717.85/717.87 c 32110 92427 2767106 39097319 44 0 6 34 18 764.07/764.03 c 35406 101683 3051767 43143373 44 0 9 35 21 839.76/839.71 c 39031 112548 3377881 47911186 44 0 7 40 23 872.47/872.47 c 43018 121394 3709681 52178651 44 0 14 30 22 984.28/984.25 c 47403 135230 4069543 57626871 44 0 6 31 19 1056.88/1056.85 c 52226 147661 4472592 62992946 44 0 13 29 20 1179.10/1179.06 c 57531 162181 4924170 69738888 44 0 11 35 21 1328.31/1328.21 c 63366 178123 5401186 77115384 44 0 4 33 18 1444.72/1444.61 c 69784 197926 5957543 84431949 44 0 5 36 22 1532.62/1532.50 c 76843 218444 6558854 92316541 44 0 4 40 24 1696.54/1696.41 c 84607 247734 7330116 103181851 44 0 4 34 19 1919.46/1919.38 c 93147 269789 8066749 113049692 44 0 7 30 18 2257.79/2257.63 c 102541 293714 8835723 125378545 44 0 3 32 15 2332.09/2331.92 c 112874 319797 9793860 136737292 44 0 6 37 24 2400.00/2399.80 2400.00/2399.80 c *** INTERRUPTED *** 2400.00/2399.80 c restarts : 50 2400.00/2399.80 c conflicts : 115761 (48 /sec) 2400.00/2399.80 c decisions : 329348 (137 /sec) 2400.00/2399.80 c propagations : 140721582 (58634 /sec) 2400.00/2399.80 c root propagations : 84 2400.00/2399.80 c filter calls : 10062698 (4193 /sec) 2400.00/2399.80 c useless filter calls : 2750806 (27 %) 2400.00/2399.80 c Memory used : 44.73 MB 2400.00/2399.80 c CPU time : 2399.99 s 2400.00/2399.80 c real time : 2399.8 s 2400.00/2399.80 2400.00/2399.80 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 (14484 MiB free) memory of node 1: 16384 MiB (15555 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397415-1568589835/watcher-4397415-1568589835 -o /tmp/evaluation-result-4397415-1568589835/solver-4397415-1568589835 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397415-1568589835.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 solver pid=20795, runsolver pid=20792 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 2.38 2.20 2.12 3/201 20796 /proc/meminfo: memFree=30759808/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=27968 memory=4216 CPUtime=0.1 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 1247 0 0 0 10 0 0 0 20 0 1 0 434925209 28639232 1054 33554432000 4194304 6211092 140736335081776 140736335079048 140016664906725 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 6992 1054 805 493 0 297 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27968 KiB Current children cumulated memory: 4216 KiB [startup+0.210769 s]* /proc/loadavg: 2.38 2.20 2.12 3/201 20796 /proc/meminfo: memFree=30758768/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=29072 memory=5056 CPUtime=0.21 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 1579 0 0 0 21 0 0 0 20 0 1 0 434925209 29769728 1264 33554432000 4194304 6211092 140736335081776 140736335079048 140016664906725 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 7268 1264 805 493 0 573 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 29072 KiB Current children cumulated memory: 5056 KiB [startup+0.310197 s]* /proc/loadavg: 2.38 2.20 2.12 3/201 20796 /proc/meminfo: memFree=30758396/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=29600 memory=5580 CPUtime=0.31 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 1746 0 0 0 31 0 0 0 20 0 1 0 434925209 30310400 1395 33554432000 4194304 6211092 140736335081776 140736335079048 140016664906725 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 7400 1395 805 493 0 705 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 29600 KiB Current children cumulated memory: 5580 KiB [startup+0.700308 s] /proc/loadavg: 2.38 2.20 2.12 3/201 20796 /proc/meminfo: memFree=30756796/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=37736 memory=14064 CPUtime=0.69 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 4516 0 0 0 69 0 0 0 20 0 1 0 434925209 38641664 3516 33554432000 4194304 6211092 140736335081776 140736335079048 5817885 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 9434 3516 814 493 0 2739 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 37736 KiB Current children cumulated memory: 14064 KiB [startup+1.50042 s] /proc/loadavg: 2.38 2.20 2.12 3/201 20796 /proc/meminfo: memFree=30748788/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21716 CPUtime=1.49 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 6485 0 0 0 148 1 0 0 20 0 1 0 434925209 46899200 5429 33554432000 4194304 6211092 140736335081776 140736335079048 5039061 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5429 815 493 0 4755 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21716 KiB [startup+3.11086 s] /proc/loadavg: 2.35 2.20 2.12 3/201 20796 /proc/meminfo: memFree=30741988/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21940 CPUtime=3.1 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 9610 0 0 0 309 1 0 0 20 0 1 0 434925209 46899200 5485 33554432000 4194304 6211092 140736335081776 140736335079048 5037854 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5485 855 493 0 4755 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21940 KiB [startup+6.30035 s] /proc/loadavg: 2.35 2.20 2.12 3/201 20796 /proc/meminfo: memFree=30741988/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=6.29 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 15121 0 0 0 628 1 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+12.7004 s] /proc/loadavg: 2.32 2.20 2.11 3/201 20796 /proc/meminfo: memFree=30741088/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=12.69 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 19717 0 0 0 1268 1 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+25.5004 s] /proc/loadavg: 2.25 2.19 2.11 3/201 20798 /proc/meminfo: memFree=30741204/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=25.49 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 22824 0 0 0 2548 1 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+51.111 s] /proc/loadavg: 2.16 2.17 2.11 3/201 20799 /proc/meminfo: memFree=30740732/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=51.1 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 24109 0 0 0 5109 1 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039121 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+102.3 s] /proc/loadavg: 2.07 2.15 2.11 3/201 20802 /proc/meminfo: memFree=30739884/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=102.29 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 25072 0 0 0 10228 1 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039240 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+162.3 s] /proc/loadavg: 2.09 2.14 2.11 3/200 20810 /proc/meminfo: memFree=30739944/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=162.3 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 26034 0 0 0 16229 1 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+222.3 s] /proc/loadavg: 2.09 2.13 2.10 3/200 20814 /proc/meminfo: memFree=30740540/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=222.3 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 26996 0 0 0 22229 1 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5037823 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 222.3 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+282.3 s] /proc/loadavg: 2.12 2.13 2.11 3/200 20818 /proc/meminfo: memFree=30740956/32770688 swapFree=66961180/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=282.31 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 26996 0 0 0 28230 1 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+342.3 s] /proc/loadavg: 2.08 2.12 2.11 3/200 20825 /proc/meminfo: memFree=30740788/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=342.32 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 27958 0 0 0 34230 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039026 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+402.3 s] /proc/loadavg: 2.03 2.10 2.10 3/200 20829 /proc/meminfo: memFree=30740248/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=402.33 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 27959 0 0 0 40231 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 402.33 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+462.3 s] /proc/loadavg: 2.05 2.10 2.10 3/201 20842 /proc/meminfo: memFree=30739964/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=462.33 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 28921 0 0 0 46231 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039121 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB ################ # More data... # ################ /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 1602.43 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 21018 /proc/meminfo: memFree=30733624/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=1662.44 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 38451 0 0 0 166242 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039132 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 1662.44 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 21022 /proc/meminfo: memFree=30733940/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=1722.44 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 38544 0 0 0 172242 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 1722.44 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 21028 /proc/meminfo: memFree=30733660/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=1782.45 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 39271 0 0 0 178243 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 1782.45 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 21032 /proc/meminfo: memFree=30733712/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=1842.45 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 39302 0 0 0 184243 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039193 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 1842.45 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 21036 /proc/meminfo: memFree=30733828/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=1902.46 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 40004 0 0 0 190244 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 1902.46 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 21043 /proc/meminfo: memFree=30733612/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=1962.46 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 40264 0 0 0 196244 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 1962.46 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 21047 /proc/meminfo: memFree=30733916/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=2022.47 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 40939 0 0 0 202245 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 2022.47 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 21051 /proc/meminfo: memFree=30734272/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=2082.47 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 40983 0 0 0 208245 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 2082.47 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+2142.3 s] /proc/loadavg: 2.63 2.18 2.10 3/199 21058 /proc/meminfo: memFree=30733556/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=2142.48 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 41695 0 0 0 214246 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039121 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 2142.48 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+2202.3 s] /proc/loadavg: 2.32 2.18 2.10 3/199 21062 /proc/meminfo: memFree=30733620/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=2202.48 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 41695 0 0 0 220246 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5037823 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 2202.48 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+2262.3 s] /proc/loadavg: 2.12 2.15 2.10 3/200 21074 /proc/meminfo: memFree=30733216/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=2262.49 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 42657 0 0 0 226247 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5037801 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 2262.49 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+2322.3 s] /proc/loadavg: 2.04 2.12 2.09 3/201 21106 /proc/meminfo: memFree=30732516/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=2322.49 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 42657 0 0 0 232247 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5039121 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 2322.49 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB [startup+2382.3 s] /proc/loadavg: 2.02 2.10 2.09 3/201 21110 /proc/meminfo: memFree=30733036/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=2382.5 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 43456 0 0 0 238248 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 2382.5 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.8 s] /proc/loadavg: 2.01 2.09 2.09 3/201 21111 /proc/meminfo: memFree=30733284/32770688 swapFree=66961184/67108860 [pid=20795] ppid=20792 vsize=45800 memory=21948 CPUtime=2400 cores=4-7 /proc/20795/stat : 20795 (cosoco) R 20792 20795 16726 0 -1 4202496 43456 0 0 0 239998 2 0 0 20 0 1 0 434925209 46899200 5487 33554432000 4194304 6211092 140736335081776 140736335079736 5037801 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 8753152 140736335090699 140736335090801 140736335090801 140736335093710 0 /proc/20795/statm: 11450 5487 857 493 0 4755 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 45800 KiB Current children cumulated memory: 21948 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.8 s] # the end of solver process 20795 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.99 s, system=0.024002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2399.8 CPU time (s): 2400.01 CPU user time (s): 2399.99 CPU system time (s): 0.024002 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 45800 Max. memory (cumulated for all children) (KiB): 21948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.99 system time used= 0.024002 maximum resident set size= 22016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43508 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= 18 involuntary context switches= 606 # summary of solver processes directly reported to runsolver: # pid: 20795 # total CPU time (s): 2400.01 # total CPU user time (s): 2399.99 # total CPU system time (s): 0.024002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.243 second user time and 20.1046 second system time The end
Begin job on node116 at 2019-09-16 01:23:14 IDJOB=4397415 IDBENCH=140042 IDSOLVER=2849 FILE ID=node116/4397415-1568589835 RUNJOBID= node116-1568572744-16758 PBS_JOBID= 21703332 Free space on /tmp= 61228 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-9-12.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397415-1568589835/watcher-4397415-1568589835 -o /tmp/evaluation-result-4397415-1568589835/solver-4397415-1568589835 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397415-1568589835.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9927b7810a76af14e99b6eaf4b0df2c RANDOM SEED=83721993 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: 30761020 kB MemAvailable: 31849020 kB Buffers: 112592 kB Cached: 1269500 kB SwapCached: 46616 kB Active: 932796 kB Inactive: 500972 kB Active(anon): 5440 kB Inactive(anon): 94976 kB Active(file): 927356 kB Inactive(file): 405996 kB Unevictable: 110612 kB Mlocked: 110612 kB SwapTotal: 67108860 kB SwapFree: 66961180 kB Dirty: 6064 kB Writeback: 0 kB AnonPages: 126624 kB Mapped: 48400 kB Shmem: 40264 kB Slab: 169716 kB SReclaimable: 140964 kB SUnreclaim: 28752 kB KernelStack: 3792 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 536836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 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= 61224 MiB End job on node116 at 2019-09-16 02:03:14