Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | UNSAT | 2238.06 | 2237.87 |
Name | Subisomorphism/Subisomorphism-m1-LV/ Subisomorphism-g19-g25.xml |
MD5SUM | 6a0b9ff28537b74082311c97fcf8fc06 |
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 | 0.015492 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 64 |
Number of constraints | 233 |
Number of domains | 1 |
Minimum domain size | 75 |
Maximum domain size | 75 |
Distribution of domain sizes | [{"size":75,"count":64}] |
Minimum variable degree | 4 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":4,"count":4},{"degree":5,"count":8},{"degree":6,"count":20},{"degree":8,"count":16},{"degree":10,"count":16}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":1,"count":64},{"arity":2,"count":168},{"arity":64,"count":1}] |
Number of extensional constraints | 232 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":232},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c root propagations : 3468 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397341-1568580030.xml 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 64 0.00/0.01 c | Domain Sizes: 75..75 0.00/0.01 c | 0.00/0.01 c | Constraints: 233 0.00/0.01 c | Arity: 1..64 -- Unary: 64 -- Binary: 168 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | All Different: 1 0.00/0.01 c | Extension: 168 (nb tuples: 228..228) -- (shared: 227) 0.00/0.01 c | Unary: 64 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c 101 223 19643 30916 64 0 4 9 6 0.00/0.04 c 211 455 37386 57439 64 0 5 8 6 0.00/0.05 c 332 709 54798 95213 64 0 5 10 7 0.00/0.07 c 465 981 80550 135651 64 0 4 9 6 0.00/0.10 c 611 1297 107468 180104 64 0 4 9 7 0.10/0.12 c 771 1626 131611 219718 64 0 4 10 7 0.10/0.14 c 947 1969 158073 274400 64 0 4 9 6 0.10/0.17 c 1140 2371 192174 320684 64 0 4 9 6 0.10/0.20 c 1352 2821 227106 389475 64 0 4 9 7 0.21/0.23 c 1585 3310 266526 448422 64 0 4 8 6 0.21/0.27 c 1841 3886 316602 525627 64 0 5 10 7 0.21/0.31 c 2122 4505 366934 612573 64 0 4 9 6 0.31/0.36 c 2431 5164 423618 699070 64 0 5 9 6 0.31/0.41 c 2770 5892 474746 788185 64 0 4 9 7 0.41/0.46 c 3142 6676 536953 900672 64 0 4 9 6 0.51/0.52 c 3551 7525 606169 1019426 64 0 4 9 7 0.51/0.59 c 4000 8576 687185 1164904 64 0 3 10 6 0.60/0.66 c 4493 9651 769435 1291921 64 0 3 9 6 0.69/0.74 c 5035 10830 864768 1461634 64 0 3 10 6 0.79/0.83 c 5631 12134 968276 1635870 64 0 3 9 6 0.89/0.92 c 6286 13491 1078175 1839680 64 0 4 10 7 1.00/1.04 c 7006 15130 1214652 2097651 64 0 3 9 6 1.10/1.15 c 7798 16735 1339509 2333030 64 0 3 10 7 1.19/1.27 c 8669 18633 1472905 2579244 64 0 4 9 6 1.39/1.41 c 9627 20723 1635200 2869187 64 0 3 9 6 1.49/1.56 c 10680 22950 1808423 3195845 64 0 3 9 6 1.69/1.74 c 11838 25556 2003005 3559995 64 0 3 11 6 1.89/1.93 c 13111 28285 2238639 3914923 64 0 3 9 6 2.10/2.13 c 14511 31319 2461962 4331704 64 0 3 9 6 2.29/2.36 c 16051 34727 2744801 4825529 64 0 3 9 6 2.49/2.59 c 17745 38435 3015888 5284473 64 0 3 9 6 2.79/2.85 c 19608 42358 3303123 5823345 64 0 3 9 6 3.10/3.15 c 21657 46880 3674167 6426941 64 0 3 9 6 3.39/3.48 c 23910 51650 4023678 7047402 64 0 3 11 7 3.79/3.85 c 26388 57089 4351456 7486319 64 0 6 11 9 4.19/4.26 c 29113 62654 4730678 8058996 64 0 4 11 8 4.69/4.76 c 32110 69394 5285809 8958036 64 0 3 10 7 5.19/5.23 c 35406 76543 5804949 9898558 64 0 2 9 6 5.79/5.80 c 39031 84923 6502244 11090938 64 0 3 9 6 6.39/6.48 c 43018 93716 7112432 12071991 64 0 4 11 8 7.00/7.07 c 47403 102771 7647728 12867743 64 0 6 11 9 7.69/7.79 c 52226 112474 8258305 13912446 64 0 5 11 9 8.49/8.55 c 57531 123827 8942505 14910031 64 0 4 10 9 9.29/9.39 c 63366 135421 9662869 15963898 64 0 4 10 8 10.29/10.36 c 69784 150521 10579889 17103901 64 0 4 10 8 11.39/11.48 c 76843 166128 11634438 18530685 64 0 5 11 9 12.39/12.45 c 84607 180464 12484590 19856778 64 0 4 10 8 13.69/13.79 c 93147 198500 13784204 21594172 64 0 4 11 8 15.10/15.14 c 102541 218075 15050268 23406915 64 0 3 11 9 16.79/16.81 c 112874 240110 16546053 25609864 64 0 5 11 8 18.39/18.46 c 124240 264046 18069824 27669434 64 0 4 11 8 20.29/20.34 c 136742 290452 19814587 30363290 64 0 5 10 9 22.39/22.43 c 150494 320582 21762441 32903237 64 0 4 11 9 24.69/24.70 c 165621 350464 23543735 35961468 64 0 4 12 9 27.29/27.31 c 182260 385566 25875180 39753840 64 0 4 10 9 30.00/30.10 c 200562 424082 28585021 43126432 64 0 4 11 8 33.19/33.26 c 220694 467865 31507308 47080878 64 0 4 11 8 36.19/36.27 c 242839 512291 34477365 51022280 64 0 3 10 8 40.00/40.06 c 267198 565920 37976568 56036730 64 0 4 11 9 44.11/44.15 c 293992 622351 41779592 61622285 64 0 4 11 8 48.80/48.83 c 323465 683048 45739754 67865284 64 0 3 11 9 54.11/54.13 c 355885 752079 50392647 75123819 64 0 4 11 9 59.40/59.49 c 391547 827217 55289267 82476089 64 0 4 11 9 65.50/65.57 c 430775 908866 60664949 90871820 64 0 3 11 8 72.80/72.83 c 473925 1004408 67350721 100025084 64 0 3 12 8 80.40/80.47 c 521390 1105331 74239103 109466434 64 0 4 11 9 88.80/88.81 c 573601 1218557 81867097 120589281 64 0 4 11 9 98.40/98.43 c 631033 1345965 90424376 133050806 64 0 4 11 8 108.40/108.44 c 694208 1484388 99410786 146485488 64 0 4 11 9 119.11/119.16 c 763700 1627782 108626602 160996181 64 0 3 11 8 130.30/130.32 c 840141 1786354 117746527 176671116 64 0 3 11 9 142.30/142.36 c 924226 1956341 129186448 193080367 64 0 3 11 8 156.90/156.91 c 1016719 2156315 142343904 212719356 64 0 3 11 9 172.01/172.01 c 1118461 2368153 154929504 233143794 64 0 3 12 9 189.40/189.48 c 1230377 2612058 170592438 255604706 64 0 3 11 8 208.01/208.06 c 1353484 2869928 186776838 280208728 64 0 3 12 8 229.02/229.05 c 1488901 3163467 206005359 307832345 64 0 4 12 8 252.61/252.62 c 1637859 3481312 228058840 340116540 64 0 3 12 9 280.02/280.02 c 1801712 3842605 252772699 376637091 64 0 3 12 8 306.51/306.53 c 1981950 4233637 277672218 410362562 64 0 3 11 8 335.82/335.85 c 2180211 4673951 306630896 449296772 64 0 2 12 9 369.32/369.37 c 2398298 5150059 336731038 492939979 64 0 3 11 9 406.92/406.97 c 2638193 5666234 370207589 543543838 64 0 3 12 8 444.93/444.94 c 2902077 6212835 405715411 596361956 64 0 3 11 9 490.04/490.01 c 3192349 6839052 445141875 659378122 64 0 3 12 9 540.53/540.52 c 3511648 7559462 492421057 728473112 64 0 2 12 9 597.94/597.95 c 3862876 8344650 544417290 801151292 64 0 3 11 8 659.74/659.71 c 4249226 9191493 599968202 882353041 64 0 3 11 8 720.95/720.95 c 4674211 10091808 655853685 966192768 64 0 2 11 8 793.06/793.02 c 5141694 11082822 721468754 1066579059 64 0 3 12 9 873.86/873.81 c 5655925 12169582 790388576 1173916670 64 0 3 12 8 963.07/963.09 c 6221579 13413415 869638042 1291513242 64 0 2 12 8 1061.87/1061.80 c 6843798 14738594 955915566 1424479550 64 0 2 13 8 1168.48/1168.50 c 7528238 16280100 1052854051 1560749869 64 0 2 12 9 1283.59/1283.52 c 8281122 17892091 1156039080 1714050515 64 0 3 12 8 1407.71/1407.69 c 9109294 19736687 1273718535 1881383852 64 0 2 12 9 1546.82/1546.78 c 10020283 21724728 1399113469 2065009982 64 0 2 12 9 1707.03/1706.95 c 11022370 23918659 1539403769 2283100287 64 0 2 12 8 1877.45/1877.30 c 12124665 26304030 1688471217 2504472319 64 0 2 12 8 2066.56/2066.40 c 13337189 28997706 1857719674 2754534681 64 0 2 12 8 2237.98/2237.86 s UNSATISFIABLE 2237.98/2237.86 c restarts : 100 2237.98/2237.86 c conflicts : 14405069 (6436 /sec) 2237.98/2237.86 c decisions : 31410274 (14035 /sec) 2237.98/2237.86 c propagations : 2985185587 (1333832 /sec) 2237.98/2237.86 c root propagations : 3468 2237.98/2237.86 c filter calls : 2013323393 (899588 /sec) 2237.98/2237.86 c useless filter calls : 1690452515 (83 %) 2237.98/2237.86 c Memory used : 26.98 MB 2237.98/2237.86 c CPU time : 2238.05 s 2237.98/2237.86 c real time : 2237.86 s 2237.98/2237.86
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 (14489 MiB free) memory of node 1: 16384 MiB (15128 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397341-1568580030/watcher-4397341-1568580030 -o /tmp/evaluation-result-4397341-1568580030/solver-4397341-1568580030 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397341-1568580030.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18363, runsolver pid=18360 Current StackSize limit: 8192 KiB [startup+0.100153 s]* /proc/loadavg: 2.00 2.01 2.05 4/199 18364 /proc/meminfo: memFree=30329004/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=3952 CPUtime=0.1 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1211 0 0 0 10 0 0 0 20 0 1 0 433944678 28286976 988 33554432000 4194304 6211092 140732708733472 140732708730008 5079046 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 988 823 493 0 211 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 3952 KiB [startup+0.210602 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 18364 /proc/meminfo: memFree=30329004/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=3952 CPUtime=0.21 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1211 0 0 0 21 0 0 0 20 0 1 0 433944678 28286976 988 33554432000 4194304 6211092 140732708733472 140732708730008 5074419 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 988 823 493 0 211 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 3952 KiB [startup+0.310063 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 18364 /proc/meminfo: memFree=30329004/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=3952 CPUtime=0.31 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1211 0 0 0 31 0 0 0 20 0 1 0 433944678 28286976 988 33554432000 4194304 6211092 140732708733472 140732708730008 5078767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 988 823 493 0 211 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 3952 KiB [startup+0.700244 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18364 /proc/meminfo: memFree=30329004/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=3952 CPUtime=0.69 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1211 0 0 0 69 0 0 0 20 0 1 0 433944678 28286976 988 33554432000 4194304 6211092 140732708733472 140732708730008 5393044 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 988 823 493 0 211 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 3952 KiB [startup+1.50024 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18364 /proc/meminfo: memFree=30328912/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=3952 CPUtime=1.49 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1211 0 0 0 149 0 0 0 20 0 1 0 433944678 28286976 988 33554432000 4194304 6211092 140732708733472 140732708731432 5076376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 988 823 493 0 211 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 3952 KiB [startup+3.1102 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18364 /proc/meminfo: memFree=30329056/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=3.1 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1326 0 0 0 310 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5082647 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+6.30024 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18364 /proc/meminfo: memFree=30328580/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=6.29 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1441 0 0 0 629 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5017472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/201 18373 /proc/meminfo: memFree=30328176/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=12.69 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1556 0 0 0 1269 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5075838 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+25.5002 s] /proc/loadavg: 2.08 2.03 2.05 3/201 18375 /proc/meminfo: memFree=30328656/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=25.49 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1786 0 0 0 2549 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5075221 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+51.1103 s] /proc/loadavg: 2.11 2.04 2.05 3/201 18376 /proc/meminfo: memFree=30329340/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=51.11 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 1901 0 0 0 5111 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5017472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+102.3 s] /proc/loadavg: 2.16 2.07 2.06 3/201 18379 /proc/meminfo: memFree=30329168/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=102.3 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 2016 0 0 0 10230 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5076108 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+162.3 s] /proc/loadavg: 2.09 2.07 2.06 3/202 18447 /proc/meminfo: memFree=30772444/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=162.3 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 2131 0 0 0 16230 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5079308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+222.3 s] /proc/loadavg: 2.03 2.06 2.05 3/202 18451 /proc/meminfo: memFree=30771636/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=222.31 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 2246 0 0 0 22231 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5079092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.05 2.05 3/202 18455 /proc/meminfo: memFree=30771196/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=282.31 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 2246 0 0 0 28231 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5397375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.05 3/200 18461 /proc/meminfo: memFree=30771684/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=342.32 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 2361 0 0 0 34232 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5082393 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+402.3 s] /proc/loadavg: 2.40 2.13 2.08 3/200 18465 /proc/meminfo: memFree=30771120/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=402.32 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 2361 0 0 0 40232 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5081750 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+462.3 s] /proc/loadavg: 2.37 2.19 2.10 3/199 18469 /proc/meminfo: memFree=30772112/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=462.33 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 2476 0 0 0 46233 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5081349 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB ################ # More data... # ################ Current children cumulated memory: 4196 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18614 /proc/meminfo: memFree=30771188/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=1782.44 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 3729 0 0 0 178244 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5082393 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 1782.44 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 18626 /proc/meminfo: memFree=30770556/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=1842.44 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 3729 0 0 0 184244 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5392339 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 1842.44 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 18630 /proc/meminfo: memFree=30770524/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=1902.45 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 3844 0 0 0 190245 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5193699 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 1902.45 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+1962.3 s] /proc/loadavg: 2.08 2.03 2.05 3/200 18636 /proc/meminfo: memFree=30770180/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=1962.46 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 3844 0 0 0 196246 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5074429 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 1962.46 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2022.3 s] /proc/loadavg: 2.03 2.03 2.05 3/200 18640 /proc/meminfo: memFree=30770064/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2022.46 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 3947 0 0 0 202246 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5082376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2022.46 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/200 18644 /proc/meminfo: memFree=30770600/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2082.47 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 3959 0 0 0 208247 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5081379 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2082.47 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/198 18650 /proc/meminfo: memFree=30771064/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2142.47 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4062 0 0 0 214247 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5075263 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2142.47 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18655 /proc/meminfo: memFree=30769908/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2202.48 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4062 0 0 0 220248 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5082354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2202.48 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2237.87 s] # the end of solver process 18363 was just reported to runsolver # cumulated CPU time of all completed processes: user=2238.05 s, system=0.008 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2214.4 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18656 /proc/meminfo: memFree=30770188/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2214.58 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4062 0 0 0 221458 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5017688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2214.58 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2227.2 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18659 /proc/meminfo: memFree=30770420/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2227.38 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4165 0 0 0 222738 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5083100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2227.38 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2233.6 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18659 /proc/meminfo: memFree=30770420/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2233.78 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4165 0 0 0 223378 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5008844 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2233.78 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2235.2 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18659 /proc/meminfo: memFree=30770388/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2235.38 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4165 0 0 0 223538 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5075221 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2235.38 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2236.8 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18659 /proc/meminfo: memFree=30770388/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2236.98 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4165 0 0 0 223698 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5078953 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2236.98 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2237.6 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18659 /proc/meminfo: memFree=30770388/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2237.78 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4165 0 0 0 223778 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5193710 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2237.78 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB [startup+2237.8 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18659 /proc/meminfo: memFree=30770388/32770688 swapFree=66961176/67108860 [pid=18363] ppid=18360 vsize=27624 memory=4196 CPUtime=2237.98 cores=0-3 /proc/18363/stat : 18363 (cosoco) R 18360 18363 16726 0 -1 4202496 4165 0 0 0 223798 0 0 0 20 0 1 0 433944678 28286976 1049 33554432000 4194304 6211092 140732708733472 140732708731432 5081337 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 40701952 140732708738059 140732708738161 140732708738161 140732708741070 0 /proc/18363/statm: 6906 1049 867 493 0 211 0 Current children cumulated CPU time: 2237.98 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 4196 KiB Child status: 0 Real time (s): 2237.87 CPU time (s): 2238.06 CPU user time (s): 2238.05 CPU system time (s): 0.008 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 27624 Max. memory (cumulated for all children) (KiB): 4196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2238.05 system time used= 0.008 maximum resident set size= 4264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4215 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= 14 involuntary context switches= 740 # summary of solver processes directly reported to runsolver: # pid: 18363 # total CPU time (s): 2238.06 # total CPU user time (s): 2238.05 # total CPU system time (s): 0.008 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.44636 second user time and 15.6129 second system time The end
Begin job on node116 at 2019-09-15 22:39:49 IDJOB=4397341 IDBENCH=132068 IDSOLVER=2849 FILE ID=node116/4397341-1568580030 RUNJOBID= node116-1568572744-16757 PBS_JOBID= 21703332 Free space on /tmp= 61228 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g19-g25.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397341-1568580030/watcher-4397341-1568580030 -o /tmp/evaluation-result-4397341-1568580030/solver-4397341-1568580030 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397341-1568580030.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6a0b9ff28537b74082311c97fcf8fc06 RANDOM SEED=1085105728 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: 30329076 kB MemAvailable: 31405424 kB Buffers: 108240 kB Cached: 1262516 kB SwapCached: 46620 kB Active: 1370364 kB Inactive: 493300 kB Active(anon): 446924 kB Inactive(anon): 94976 kB Active(file): 923440 kB Inactive(file): 398324 kB Unevictable: 110612 kB Mlocked: 110612 kB SwapTotal: 67108860 kB SwapFree: 66961176 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 557836 kB Mapped: 48080 kB Shmem: 40260 kB Slab: 169168 kB SReclaimable: 140836 kB SUnreclaim: 28332 kB KernelStack: 3488 kB PageTables: 6428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 977924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 505856 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= 61228 MiB End job on node116 at 2019-09-15 23:17:07