Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.03 | 2520.01 |
Name | Random/Random-m1-5-8X-05c/ rand-5-8X-05c-44.xml |
MD5SUM | 68fb7a5417760ab9cc88f495b9ce53b3 |
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 | 83.873 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 12 |
Number of constraints | 95 |
Number of domains | 1 |
Minimum domain size | 12 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":12,"count":12}] |
Minimum variable degree | 28 |
Maximum variable degree | 48 |
Distribution of variable degrees | [{"degree":28,"count":1},{"degree":34,"count":1},{"degree":35,"count":1},{"degree":37,"count":2},{"degree":38,"count":1},{"degree":41,"count":2},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":1}] |
Minimum constraint arity | 5 |
Maximum constraint arity | 5 |
Distribution of constraint arities | [{"arity":5,"count":95}] |
Number of extensional constraints | 95 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":95}] |
Optimization problem | NO |
Type of objective |
52.38/52.41 c root propagations : 28 52.38/52.41 c restarts enabled, print stats at every restarts 52.38/52.41 c 52.38/52.41 c 52.38/52.41 c 52.38/52.41 c This is cosoco 2.00 -- 52.38/52.41 c 52.38/52.41 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389623-1568319404.xml 52.38/52.41 c ========================================[ Problem Statistics ]=========================================== 52.38/52.41 c | 52.38/52.41 c | Parse time : 51.79 s 52.38/52.41 c | 52.38/52.41 c | Variables: 12 52.38/52.41 c | Domain Sizes: 12..12 52.38/52.41 c | 52.38/52.41 c | Constraints: 95 52.38/52.41 c | Arity: 5..5 52.38/52.41 c | 52.38/52.41 c | Types: 52.38/52.41 c | Extension: 95 (nb tuples: 99536..99536) -- (shared: 0) 52.38/52.41 c | 52.38/52.41 c ========================================================================================================= 52.38/52.41 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 54.18/54.29 c 101 150 19735 5059 7 0 5 7 6 55.18/55.23 c 211 314 37288 7983 7 0 5 7 6 57.28/57.31 c 332 516 66356 13989 7 0 4 7 5 60.58/60.68 c 465 717 93089 20353 7 0 5 7 5 63.68/63.70 c 611 990 131381 28589 7 0 5 7 6 66.68/66.76 c 771 1266 168465 36500 7 0 4 7 6 69.89/69.92 c 947 1511 199407 43164 7 0 5 7 6 73.08/73.11 c 1140 1840 246548 52731 7 0 4 7 5 76.99/77.08 c 1352 2184 293915 63808 7 0 5 7 6 80.28/80.33 c 1585 2511 339868 75346 7 0 4 7 6 84.98/85.04 c 1841 2880 387369 85995 7 0 4 7 5 90.47/90.58 c 2122 3325 450447 99812 7 0 4 7 5 97.58/97.64 c 2431 3829 522043 116116 7 0 4 7 5 103.99/104.06 c 2770 4356 596197 132826 7 0 4 7 5 110.08/110.14 c 3142 4890 662390 147397 7 0 5 7 6 117.58/117.66 c 3551 5525 751067 167082 7 0 4 7 5 128.27/128.33 c 4000 6267 851932 191102 7 0 4 7 6 136.68/136.79 c 4493 7021 955949 214429 7 0 4 7 5 146.47/146.59 c 5035 7833 1065193 239462 7 0 4 7 6 160.07/160.11 c 5631 8790 1200441 270358 7 0 4 7 5 174.57/174.63 c 6286 9862 1346434 304190 7 0 4 7 6 189.06/189.16 c 7006 11010 1513848 337845 7 0 4 7 5 202.87/202.96 c 7798 12227 1682971 376092 7 0 4 7 5 214.45/214.52 c 8669 13648 1881704 417651 7 0 4 7 5 232.05/232.11 c 9627 15133 2080963 461526 7 0 5 7 6 247.55/247.65 c 10680 16919 2335672 515704 7 0 4 7 5 267.13/267.22 c 11838 18677 2586524 574895 7 0 4 7 6 283.84/283.91 c 13111 20778 2877912 637432 7 0 4 7 5 308.63/308.79 c 14511 22905 3169840 712551 7 0 4 7 6 336.32/336.40 c 16051 25311 3502198 794891 7 0 4 7 6 366.42/366.58 c 17745 27871 3859632 886396 7 0 4 7 6 390.41/390.54 c 19608 30961 4287919 979461 7 0 3 7 5 433.30/433.41 c 21657 34110 4715183 1074367 7 0 4 8 6 467.50/467.67 c 23910 38143 5286166 1195538 7 0 3 7 6 508.39/508.58 c 26388 41949 5812804 1316079 7 0 4 7 5 554.59/554.77 c 29113 46325 6443308 1460929 7 0 4 7 6 604.69/604.90 c 32110 50875 7054929 1597899 7 0 4 7 5 663.58/663.78 c 35406 56124 7823634 1758672 7 0 4 7 5 722.89/723.06 c 39031 61518 8548185 1942932 7 0 3 7 6 787.58/787.70 c 43018 67745 9421277 2137272 7 0 4 7 5 858.48/858.64 c 47403 74717 10399985 2359810 7 0 3 7 6 940.17/940.39 c 52226 82135 11438434 2613469 7 0 4 7 6 1033.38/1033.50 c 57531 90629 12616782 2898166 7 0 4 7 6 1124.19/1124.31 c 63366 99620 13854589 3188487 7 0 3 7 5 1230.29/1230.48 c 69784 108957 15052410 3432187 7 0 4 7 5 1332.00/1332.11 c 76843 119342 16436754 3767201 7 0 3 7 5 1466.82/1467.00 c 84607 131604 18111754 4170917 8 0 3 8 6 1602.43/1602.51 c 93147 144917 19909665 4552312 8 0 3 7 5 1758.34/1758.48 c 102541 160492 22165819 5045205 8 0 3 7 6 1903.97/1904.05 c 112874 175178 24032962 5457902 8 0 4 7 5 2118.37/2118.47 c 124240 193491 26602937 6064422 8 0 3 7 6 2290.78/2290.90 c 136742 213760 29435839 6694550 9 0 3 7 6 2504.31/2504.35 c 150494 235244 32360336 7376612 9 0 3 8 5 2520.02/2520.01 2520.02/2520.01 c *** INTERRUPTED *** 2520.02/2520.01 c restarts : 53 2520.02/2520.01 c conflicts : 151306 (60 /sec) 2520.02/2520.01 c decisions : 236608 (94 /sec) 2520.02/2520.01 c propagations : 7417076 (2944 /sec) 2520.02/2520.01 c root propagations : 28 2520.02/2520.01 c filter calls : 32564857 (12925 /sec) 2520.02/2520.01 c useless filter calls : 28342109 (87 %) 2520.02/2520.01 c Memory used : 572.43 MB 2520.02/2520.01 c CPU time : 2519.62 s 2520.02/2520.01 c real time : 2520.01 s 2520.02/2520.01 2520.02/2520.01 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 (13190 MiB free) memory of node 1: 16384 MiB (15613 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389623-1568319404/watcher-4389623-1568319404 -o /tmp/evaluation-result-4389623-1568319404/solver-4389623-1568319404 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389623-1568319404.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=8295, runsolver pid=8292 [startup+0.10048 s]* /proc/loadavg: 2.03 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29494628/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=28572 memory=4460 CPUtime=0.1 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 1461 0 0 0 10 0 0 0 20 0 1 0 407882194 29257728 1115 33554432000 4194304 6210612 140728626292512 140728626289784 140097598168037 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 7143 1115 802 493 0 448 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28572 KiB Current children cumulated memory: 4460 KiB [startup+0.210679 s]* /proc/loadavg: 2.03 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29493248/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=30000 memory=5616 CPUtime=0.2 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 1938 0 0 0 20 0 0 0 20 0 1 0 407882194 30720000 1404 33554432000 4194304 6210612 140728626292512 140728626289784 5818456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 7500 1404 802 493 0 805 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 30000 KiB Current children cumulated memory: 5616 KiB [startup+0.310251 s]* /proc/loadavg: 2.03 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29447660/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=30660 memory=6672 CPUtime=0.3 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 2197 0 0 0 30 0 0 0 20 0 1 0 407882194 31395840 1668 33554432000 4194304 6210612 140728626292512 140728626289784 5818474 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 7665 1668 802 493 0 970 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 30660 KiB Current children cumulated memory: 6672 KiB [startup+0.700374 s] /proc/loadavg: 2.03 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29444516/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=39284 memory=15192 CPUtime=0.69 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 5145 0 0 0 68 1 0 0 20 0 1 0 407882194 40226816 3798 33554432000 4194304 6210612 140728626292512 140728626289784 5707704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 9821 3798 805 493 0 3126 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 39284 KiB Current children cumulated memory: 15192 KiB [startup+1.74468 s] /proc/loadavg: 2.03 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29444516/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=53976 memory=28916 CPUtime=1.73 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 8638 0 0 0 172 1 0 0 20 0 1 0 407882194 55271424 7229 33554432000 4194304 6210612 140728626292512 140728626289784 5816969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 13494 7229 805 493 0 6799 0 Current children cumulated CPU time: 1.73 s Current children cumulated vsize: 53976 KiB Current children cumulated memory: 28916 KiB [startup+3.10026 s] /proc/loadavg: 2.03 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29459828/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=64040 memory=38264 CPUtime=3.09 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 13717 0 0 0 307 2 0 0 20 0 1 0 407882194 65576960 9566 33554432000 4194304 6210612 140728626292512 140728626288168 5818243 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 16010 9566 805 493 0 9315 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 64040 KiB Current children cumulated memory: 38264 KiB [startup+6.30028 s] /proc/loadavg: 2.03 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29435088/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=95432 memory=65520 CPUtime=6.28 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 22942 0 0 0 626 2 0 0 20 0 1 0 407882194 97722368 16380 33554432000 4194304 6210612 140728626292512 140728626289784 5812068 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 23858 16380 805 493 0 17163 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 95432 KiB Current children cumulated memory: 65520 KiB [startup+12.7004 s] /proc/loadavg: 2.03 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29384372/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=155336 memory=121188 CPUtime=12.68 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 39551 0 0 0 1263 5 0 0 20 0 1 0 407882194 159064064 30297 33554432000 4194304 6210612 140728626292512 140728626289784 5555468 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 38834 30297 805 493 0 32139 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 155336 KiB Current children cumulated memory: 121188 KiB [startup+25.5003 s] /proc/loadavg: 2.02 2.01 2.05 3/199 8296 /proc/meminfo: memFree=29274168/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=270856 memory=228416 CPUtime=25.48 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 71572 0 0 0 2539 9 0 0 20 0 1 0 407882194 277356544 57104 33554432000 4194304 6210612 140728626292512 140728626289784 5534873 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 67714 57104 805 493 0 61019 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 270856 KiB Current children cumulated memory: 228416 KiB [startup+51.1003 s] /proc/loadavg: 2.02 2.01 2.05 3/199 8298 /proc/meminfo: memFree=29048712/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=507352 memory=448044 CPUtime=51.09 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 128440 0 0 0 5090 19 0 0 20 0 1 0 407882194 519528448 112011 33554432000 4194304 6210612 140728626292512 140728626289784 5817242 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 126838 112011 806 493 0 120143 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 507352 KiB Current children cumulated memory: 448044 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.01 2.05 3/199 8302 /proc/meminfo: memFree=28967780/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=586164 memory=528336 CPUtime=102.28 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 283449 0 0 0 10200 28 0 0 20 0 1 0 407882194 600231936 132084 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 132084 851 493 0 139846 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 528336 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 8307 /proc/meminfo: memFree=28960208/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=586164 memory=535576 CPUtime=162.27 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 348326 0 0 0 16196 31 0 0 20 0 1 0 407882194 600231936 133894 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 133894 851 493 0 139846 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 535576 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 8313 /proc/meminfo: memFree=28953496/32770688 swapFree=66960932/67108860 [pid=8295] ppid=8292 vsize=586164 memory=542416 CPUtime=222.25 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 400946 0 0 0 22192 33 0 0 20 0 1 0 407882194 600231936 135604 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 135604 851 493 0 139846 0 Current children cumulated CPU time: 222.25 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 542416 KiB [startup+282.3 s] /proc/loadavg: 2.05 2.03 2.05 3/200 8324 /proc/meminfo: memFree=28946040/32770688 swapFree=66960936/67108860 [pid=8295] ppid=8292 vsize=586164 memory=549644 CPUtime=282.23 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 445512 0 0 0 28188 35 0 0 20 0 1 0 407882194 600231936 137411 33554432000 4194304 6210612 140728626292512 140728626290472 5038697 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 137411 851 493 0 139846 0 Current children cumulated CPU time: 282.23 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 549644 KiB [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.05 3/200 8328 /proc/meminfo: memFree=28939856/32770688 swapFree=66960936/67108860 [pid=8295] ppid=8292 vsize=586164 memory=556508 CPUtime=342.22 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 476682 0 0 0 34185 37 0 0 20 0 1 0 407882194 600231936 139127 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 139127 851 493 0 139846 0 Current children cumulated CPU time: 342.22 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 556508 KiB [startup+402.3 s] /proc/loadavg: 2.01 2.02 2.05 3/200 8334 /proc/meminfo: memFree=28933436/32770688 swapFree=66960936/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=402.21 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 495202 0 0 0 40183 38 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5037457 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 402.21 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+462.3 s] /proc/loadavg: 2.06 2.03 2.05 3/199 8338 /proc/meminfo: memFree=28933800/32770688 swapFree=66960936/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=462.2 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 496138 0 0 0 46182 38 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 462.2 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB ################ # More data... # ################ /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 1782.25 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 8523 /proc/meminfo: memFree=28794252/32770688 swapFree=66960948/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=1842.25 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 516122 0 0 0 184185 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038661 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 1842.25 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.03 2.05 3/199 8527 /proc/meminfo: memFree=28793892/32770688 swapFree=66960948/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=1902.25 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 516791 0 0 0 190185 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038661 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 1902.25 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.03 2.05 3/199 8531 /proc/meminfo: memFree=28794552/32770688 swapFree=66960948/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=1962.26 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 517668 0 0 0 196186 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 1962.26 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 8537 /proc/meminfo: memFree=28793952/32770688 swapFree=66960948/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2022.26 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 518274 0 0 0 202186 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5037455 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2022.26 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 8549 /proc/meminfo: memFree=28794004/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2082.27 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 519148 0 0 0 208187 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038622 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2082.27 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2142.3 s] /proc/loadavg: 2.05 2.03 2.05 3/200 8553 /proc/meminfo: memFree=28793656/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2142.27 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 519994 0 0 0 214187 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038622 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2142.27 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2202.3 s] /proc/loadavg: 2.02 2.02 2.05 3/200 8559 /proc/meminfo: memFree=28793476/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2202.28 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 520649 0 0 0 220188 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038596 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2202.28 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2262.3 s] /proc/loadavg: 2.07 2.03 2.05 3/200 8563 /proc/meminfo: memFree=28793620/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2262.28 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 521495 0 0 0 226188 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2262.28 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2322.3 s] /proc/loadavg: 2.03 2.03 2.05 3/200 8567 /proc/meminfo: memFree=28794096/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2322.29 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 522178 0 0 0 232189 40 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038622 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2322.29 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 8574 /proc/meminfo: memFree=28793768/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2382.3 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 522762 0 0 0 238189 41 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038622 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2382.3 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 8578 /proc/meminfo: memFree=28793896/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2442.31 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 523587 0 0 0 244190 41 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2442.31 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8582 /proc/meminfo: memFree=28793736/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2502.31 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 524346 0 0 0 250190 41 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038670 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2502.31 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520.01 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8586 /proc/meminfo: memFree=28793748/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2520.02 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 524499 0 0 0 251961 41 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 8295 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.62 s, system=0.415013 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.01 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8586 /proc/meminfo: memFree=28793748/32770688 swapFree=66960952/67108860 [pid=8295] ppid=8292 vsize=586164 memory=562260 CPUtime=2520.02 cores=4-7 /proc/8295/stat : 8295 (cosoco) R 8292 8295 6407 0 -1 4202496 524499 0 0 0 251961 41 0 0 20 0 1 0 407882194 600231936 140565 33554432000 4194304 6210612 140728626292512 140728626290472 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33329152 140728626299915 140728626300017 140728626300017 140728626302926 0 /proc/8295/statm: 146541 140565 851 493 0 139846 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 586164 KiB Current children cumulated memory: 562260 KiB Child status: 1 Real time (s): 2520.01 CPU time (s): 2520.03 CPU user time (s): 2519.62 CPU system time (s): 0.415013 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 586164 Max. memory (cumulated for all children) (KiB): 562260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.62 system time used= 0.415013 maximum resident set size= 562324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 524537 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= 86 involuntary context switches= 1180 # summary of solver processes directly reported to runsolver: # pid: 8295 # total CPU time (s): 2520.03 # total CPU user time (s): 2519.62 # total CPU system time (s): 0.415013 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2314 second user time and 22.1932 second system time The end
Begin job on node116 at 2019-09-12 22:16:04 IDJOB=4389623 IDBENCH=122513 IDSOLVER=2829 FILE ID=node116/4389623-1568319404 RUNJOBID= node116-1568311136-6439 PBS_JOBID= 21701125 Free space on /tmp= 56780 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/Random/Random-m1-5-8X-05c/rand-5-8X-05c-44.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389623-1568319404/watcher-4389623-1568319404 -o /tmp/evaluation-result-4389623-1568319404/solver-4389623-1568319404 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389623-1568319404.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 68fb7a5417760ab9cc88f495b9ce53b3 RANDOM SEED=1016969335 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: 29496008 kB MemAvailable: 31833332 kB Buffers: 74892 kB Cached: 2537320 kB SwapCached: 46484 kB Active: 931884 kB Inactive: 1744492 kB Active(anon): 16516 kB Inactive(anon): 88236 kB Active(file): 915368 kB Inactive(file): 1656256 kB Unevictable: 110244 kB Mlocked: 110244 kB SwapTotal: 67108860 kB SwapFree: 66960932 kB Dirty: 110436 kB Writeback: 0 kB AnonPages: 129336 kB Mapped: 44144 kB Shmem: 31848 kB Slab: 191668 kB SReclaimable: 163068 kB SUnreclaim: 28600 kB KernelStack: 3472 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 541304 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 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= 56776 MiB End job on node116 at 2019-09-12 22:58:04