Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.1 | 2399.9 |
Name | Primes/ Primes-m1-p20/Primes-20-60-3-5.xml |
MD5SUM | 0dd1a305ead2bfc8d563708a38f33655 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 517.414 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 60 |
Number of domains | 1 |
Minimum domain size | 70 |
Maximum domain size | 70 |
Distribution of domain sizes | [{"size":70,"count":99}] |
Minimum variable degree | 0 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":60}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c root propagations : 828 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-4397390-1568580154.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: 100 0.00/0.01 c | Domain Sizes: 70..70 0.00/0.01 c | 0.00/0.01 c | Constraints: 60 0.00/0.01 c | Arity: 3..8 -- Ternary: 5 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | Sum: 60 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.01 c remove useless variable x[77] 0.00/0.02 c 101 150 6287 32257 31 0 1 24 18 0.00/0.03 c 211 298 9782 50638 31 0 5 23 9 0.00/0.04 c 332 467 14527 83459 31 0 5 23 11 0.00/0.06 c 465 673 23625 123664 31 0 1 19 13 0.00/0.08 c 611 925 33987 173581 31 0 3 24 11 0.00/0.09 c 771 1121 41195 203285 31 0 11 17 11 0.10/0.11 c 947 1388 52838 257752 31 0 14 23 17 0.10/0.14 c 1140 1652 62739 316969 31 0 14 23 18 0.10/0.15 c 1352 1932 72091 370083 31 0 5 32 12 0.10/0.18 c 1585 2332 83174 430447 31 0 8 28 18 0.10/0.20 c 1841 2693 95203 543402 31 0 20 28 24 0.21/0.22 c 2122 3130 105664 582288 31 0 13 27 18 0.21/0.27 c 2431 3644 123542 726481 31 0 18 27 23 0.21/0.28 c 2770 4169 130806 766956 31 0 14 27 18 0.31/0.33 c 3142 4706 154328 930314 31 0 20 28 24 0.31/0.38 c 3551 5460 176101 1069386 31 0 9 26 17 0.41/0.44 c 4000 6171 203867 1287963 31 0 9 20 15 0.41/0.49 c 4493 6821 226232 1440337 31 0 14 28 25 0.51/0.54 c 5035 7586 248832 1579750 31 0 12 23 13 0.51/0.58 c 5631 8220 269981 1689425 31 0 4 9 7 0.60/0.66 c 6286 9264 307141 1946136 31 0 16 26 22 0.69/0.75 c 7006 10316 347142 2174782 31 0 10 30 17 0.79/0.85 c 7798 11644 388344 2567025 31 0 11 26 21 0.89/0.92 c 8669 13013 421139 2802521 31 0 5 30 15 1.00/1.02 c 9627 14558 472840 3063720 31 0 15 28 23 1.10/1.11 c 10680 16423 511659 3348459 31 0 14 28 19 1.19/1.23 c 11838 18665 564683 3827937 31 0 12 20 15 1.29/1.37 c 13111 21039 624432 4300792 31 0 17 28 21 1.49/1.50 c 14511 23320 682222 4733201 31 0 13 22 18 1.59/1.67 c 16051 25784 764368 5222939 31 0 15 28 20 1.79/1.86 c 17745 30036 848888 5956450 31 0 9 22 16 2.00/2.04 c 19608 33253 928442 6572127 31 0 9 22 14 2.19/2.27 c 21657 37032 1030997 7281347 31 0 15 28 20 2.49/2.58 c 23910 42503 1158065 8550374 31 0 9 22 18 2.79/2.88 c 26388 46399 1304084 9341621 31 0 15 28 18 3.10/3.15 c 29113 52806 1421834 10310376 31 0 9 22 14 3.39/3.45 c 32110 58763 1555751 11420351 31 0 9 26 14 3.89/3.92 c 35406 65964 1740678 13336307 31 0 10 26 19 4.19/4.22 c 39031 71475 1889605 14169295 31 0 10 22 14 4.49/4.58 c 43018 79065 2066537 15351207 31 0 9 22 13 5.10/5.18 c 47403 88144 2291536 17773574 31 0 10 24 18 5.59/5.65 c 52226 95058 2514357 19151675 31 0 14 28 22 6.10/6.14 c 57531 102512 2720921 20952502 31 0 8 28 14 6.49/6.59 c 63366 109545 2956566 22258411 31 0 5 24 14 7.59/7.61 c 69784 123213 3311489 27011684 31 0 10 22 19 8.10/8.11 c 76843 132682 3570555 28607297 31 0 11 22 13 9.10/9.13 c 84607 146956 4004358 32601608 31 0 7 28 17 9.79/9.89 c 93147 161415 4319710 35832055 31 0 3 26 15 11.39/11.44 c 102541 180558 4850630 42814144 31 0 10 41 16 12.49/12.57 c 112874 196816 5233800 48148451 31 0 8 22 18 13.50/13.51 c 124240 214734 5662374 51593154 31 0 9 22 15 14.40/14.49 c 136742 234998 6154229 54803800 31 0 10 22 14 15.30/15.34 c 150494 254685 6567663 57570358 31 0 10 22 14 17.70/17.74 c 165621 285175 7477803 67819534 31 0 12 24 18 19.30/19.33 c 182260 315949 8194951 73752279 31 0 9 22 15 22.20/22.20 c 200562 352211 9240536 86259526 31 0 12 24 18 24.01/24.09 c 220694 384334 10058698 93350229 31 0 5 23 12 27.60/27.64 c 242839 431202 11439326 107911329 31 0 4 28 18 29.80/29.87 c 267198 460501 12635800 112818669 31 0 3 28 17 32.70/32.74 c 293992 493031 13982500 124150288 31 0 7 18 11 34.80/34.89 c 323465 530713 14954462 131699279 31 0 4 19 9 37.90/37.92 c 355885 571379 16473062 139637557 31 0 10 41 20 41.80/41.89 c 391547 618750 18346547 151432200 31 0 5 28 22 45.30/45.36 c 430775 691795 19836089 163991650 31 0 5 22 13 50.20/50.20 c 473925 764473 21904480 180913723 31 0 5 27 17 54.50/54.53 c 521390 845775 23827729 196823830 31 0 5 26 13 58.70/58.76 c 573601 920429 25974044 209745314 31 0 10 27 14 65.60/65.68 c 631033 1020062 28823832 235875628 31 0 8 28 19 71.90/71.96 c 694208 1104545 31900465 253951234 31 0 5 42 24 80.60/80.69 c 763700 1232532 35254608 291445828 31 0 8 24 16 90.90/90.96 c 840141 1362816 39480571 329037740 31 0 10 28 18 99.70/99.70 c 924226 1496644 43383913 359102764 31 0 11 28 17 110.40/110.45 c 1016719 1652098 47810743 399774368 31 0 8 24 18 118.80/118.89 c 1118461 1813347 51699869 428491854 31 0 7 28 15 128.01/128.02 c 1230377 1978640 56122638 458629930 31 0 10 26 15 139.80/139.85 c 1353484 2171785 61453235 502159176 31 0 10 28 17 155.60/155.60 c 1488901 2382081 68002021 561166880 31 0 5 28 18 167.61/167.62 c 1637859 2631773 73160678 608458545 31 0 6 24 15 185.91/185.92 c 1801712 2875370 80781743 677933371 31 0 7 27 19 200.51/200.52 c 1981950 3119349 87890415 723862182 31 0 11 27 17 224.91/224.95 c 2180211 3423932 97784782 814871131 31 0 7 27 19 246.02/246.10 c 2398298 3748780 107579369 884051292 31 0 11 24 18 278.12/278.13 c 2638193 4147835 120547407 1010625126 31 0 9 28 19 304.32/304.32 c 2902077 4532396 132615157 1095107414 31 0 11 24 18 333.62/333.69 c 3192349 4980057 145361050 1200890906 31 0 6 41 17 363.92/363.99 c 3511648 5466212 157750561 1325284555 31 0 4 28 18 398.13/398.14 c 3862876 6004834 173729175 1432058390 31 0 6 23 14 437.43/437.44 c 4249226 6503565 193891506 1526733282 31 0 3 23 11 477.33/477.33 c 4674211 7134525 213842794 1644521949 31 0 7 24 14 520.73/520.71 c 5141694 7862595 234864528 1781538052 31 0 4 42 17 573.94/573.99 c 5655925 8605772 261649658 1933108452 31 0 4 42 17 638.44/638.41 c 6221579 9344508 295237198 2104511715 31 0 15 42 21 702.45/702.40 c 6843798 10192913 327815929 2285164337 31 0 13 41 22 763.46/763.44 c 7528238 11076673 359683449 2433228576 31 0 3 30 14 843.46/843.45 c 8281122 12071406 396785718 2663325025 31 0 2 41 15 914.77/914.72 c 9109294 13339661 432658979 2874714539 31 0 9 23 14 985.87/985.87 c 10020283 14844898 468768968 3086414799 31 0 7 22 13 1111.58/1111.57 c 11022370 16105380 525199455 3450959081 31 0 5 31 11 1202.69/1202.67 c 12124665 17854928 569891313 3720058995 31 0 3 28 13 1313.50/1313.42 c 13337189 19514064 626778269 4020635723 31 0 7 43 14 1435.31/1435.26 c 14670965 21286075 687901695 4360705012 31 0 2 41 14 1579.03/1578.98 c 16138118 23262708 757005863 4778453419 31 0 2 45 13 1712.64/1712.52 c 17751986 25429379 823292642 5163636117 31 0 3 42 12 1898.05/1897.92 c 19527240 27839252 919235811 5661448784 31 0 7 29 15 2070.37/2070.29 c 21480019 30590897 1000097228 6201274430 31 0 3 40 12 2310.48/2310.30 c 23628075 33386664 1109404325 6899863553 31 0 3 47 12 2400.09/2399.90 2400.09/2399.90 c *** INTERRUPTED *** 2400.09/2399.90 c restarts : 106 2400.09/2399.90 c conflicts : 24542558 (10226 /sec) 2400.09/2399.90 c decisions : 34660937 (14442 /sec) 2400.09/2399.90 c propagations : 7166591134 (2985971 /sec) 2400.09/2399.90 c root propagations : 828 2400.09/2399.90 c filter calls : 1154060653 (480841 /sec) 2400.09/2399.90 c useless filter calls : 711683997 (61 %) 2400.09/2399.90 c Memory used : 26.84 MB 2400.09/2399.90 c CPU time : 2400.09 s 2400.09/2399.90 c real time : 2399.9 s 2400.09/2399.90 2400.09/2399.90 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (14489 MiB free) memory of node 1: 16384 MiB (15562 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397390-1568580154/watcher-4397390-1568580154 -o /tmp/evaluation-result-4397390-1568580154/solver-4397390-1568580154 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397390-1568580154.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=18444, runsolver pid=18441 [startup+0.100159 s]* /proc/loadavg: 2.18 2.08 2.06 3/202 18445 /proc/meminfo: memFree=30773112/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=3880 CPUtime=0.1 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1178 0 0 0 10 0 0 0 20 0 1 0 433957024 28143616 970 33554432000 4194304 6211092 140720584611824 140720584608360 5149674 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 970 834 493 0 176 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 3880 KiB [startup+0.210739 s]* /proc/loadavg: 2.18 2.08 2.06 3/202 18445 /proc/meminfo: memFree=30772864/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=3880 CPUtime=0.21 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1178 0 0 0 21 0 0 0 20 0 1 0 433957024 28143616 970 33554432000 4194304 6211092 140720584611824 140720584608360 5149700 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 970 834 493 0 176 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 3880 KiB [startup+0.310217 s]* /proc/loadavg: 2.18 2.08 2.06 3/202 18445 /proc/meminfo: memFree=30772864/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=3880 CPUtime=0.31 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1178 0 0 0 31 0 0 0 20 0 1 0 433957024 28143616 970 33554432000 4194304 6211092 140720584611824 140720584608360 5149648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 970 834 493 0 176 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 3880 KiB [startup+0.700286 s] /proc/loadavg: 2.18 2.08 2.06 3/202 18445 /proc/meminfo: memFree=30772864/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=3880 CPUtime=0.69 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1178 0 0 0 69 0 0 0 20 0 1 0 433957024 28143616 970 33554432000 4194304 6211092 140720584611824 140720584609784 5149658 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 970 834 493 0 176 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 3880 KiB [startup+1.50028 s] /proc/loadavg: 2.18 2.08 2.06 3/202 18445 /proc/meminfo: memFree=30773072/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=3880 CPUtime=1.49 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1178 0 0 0 149 0 0 0 20 0 1 0 433957024 28143616 970 33554432000 4194304 6211092 140720584611824 140720584609784 5149682 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 970 834 493 0 176 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 3880 KiB [startup+3.11028 s] /proc/loadavg: 2.17 2.08 2.06 3/202 18445 /proc/meminfo: memFree=30773112/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=3.1 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1250 0 0 0 310 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+6.30027 s] /proc/loadavg: 2.17 2.08 2.06 3/202 18445 /proc/meminfo: memFree=30773112/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=6.29 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1322 0 0 0 629 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149023 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+12.7003 s] /proc/loadavg: 2.15 2.08 2.06 3/202 18445 /proc/meminfo: memFree=30772976/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=12.7 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1395 0 0 0 1270 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149662 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 12.7 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+25.5003 s] /proc/loadavg: 2.12 2.07 2.06 3/203 18447 /proc/meminfo: memFree=30771936/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=25.5 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1539 0 0 0 2550 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149700 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 25.5 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+51.1103 s] /proc/loadavg: 2.08 2.07 2.06 3/202 18448 /proc/meminfo: memFree=30772484/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=51.11 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1614 0 0 0 5111 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149682 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+102.3 s] /proc/loadavg: 2.03 2.06 2.05 3/202 18452 /proc/meminfo: memFree=30771604/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=102.3 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1688 0 0 0 10230 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5150717 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.05 2.05 3/202 18458 /proc/meminfo: memFree=30771220/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=162.31 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1762 0 0 0 16231 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5193696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 162.31 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.04 2.05 3/200 18462 /proc/meminfo: memFree=30771716/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=222.31 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1835 0 0 0 22231 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5148801 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+282.3 s] /proc/loadavg: 2.40 2.13 2.08 3/200 18466 /proc/meminfo: memFree=30771120/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=282.31 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1835 0 0 0 28231 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149700 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+342.3 s] /proc/loadavg: 2.37 2.19 2.10 3/199 18472 /proc/meminfo: memFree=30771864/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=342.32 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1908 0 0 0 34232 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149700 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+402.3 s] /proc/loadavg: 2.14 2.16 2.10 3/199 18475 /proc/meminfo: memFree=30771348/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=402.32 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1908 0 0 0 40232 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149689 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+462.3 s] /proc/loadavg: 2.05 2.13 2.09 3/199 18479 /proc/meminfo: memFree=30771252/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=462.33 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 1981 0 0 0 46233 0 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB ################ # More data... # ################ /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 1662.43 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 18626 /proc/meminfo: memFree=30770308/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=1722.44 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2711 0 0 0 172243 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149705 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 1722.44 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 18632 /proc/meminfo: memFree=30770384/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=1782.44 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2772 0 0 0 178243 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149700 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 1782.44 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+1842.3 s] /proc/loadavg: 2.08 2.03 2.05 3/200 18636 /proc/meminfo: memFree=30769964/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=1842.45 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2777 0 0 0 184244 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149658 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 1842.45 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+1902.3 s] /proc/loadavg: 2.03 2.03 2.05 3/200 18640 /proc/meminfo: memFree=30770096/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=1902.45 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2850 0 0 0 190244 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 1902.45 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 18646 /proc/meminfo: memFree=30770980/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=1962.46 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2850 0 0 0 196245 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 1962.46 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18651 /proc/meminfo: memFree=30770492/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2022.46 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2911 0 0 0 202245 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5148651 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2022.46 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18655 /proc/meminfo: memFree=30770032/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2082.47 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2925 0 0 0 208246 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2082.47 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 4/199 18722 /proc/meminfo: memFree=30768572/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2142.47 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2986 0 0 0 214246 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5389984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2142.47 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18726 /proc/meminfo: memFree=30768684/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2202.47 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 2986 0 0 0 220246 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149136 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2202.47 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 18730 /proc/meminfo: memFree=30769340/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2262.48 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 3047 0 0 0 226247 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5148869 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2262.48 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 18745 /proc/meminfo: memFree=30768604/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2322.49 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 3059 0 0 0 232248 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5148815 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2322.49 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 18749 /proc/meminfo: memFree=30769092/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2382.49 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 3120 0 0 0 238248 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5150048 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2382.49 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/201 18750 /proc/meminfo: memFree=30769216/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2400.09 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 3120 0 0 0 240008 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149700 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 18444 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.09 s, system=0.012001 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/201 18750 /proc/meminfo: memFree=30769216/32770688 swapFree=66961176/67108860 [pid=18444] ppid=18441 vsize=27484 memory=4068 CPUtime=2400.09 cores=4-7 /proc/18444/stat : 18444 (cosoco) R 18441 18444 16726 0 -1 4202496 3120 0 0 0 240008 1 0 0 20 0 1 0 433957024 28143616 1017 33554432000 4194304 6211092 140720584611824 140720584609784 5149700 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 19267584 140720584619019 140720584619121 140720584619121 140720584622030 0 /proc/18444/statm: 6871 1017 880 493 0 176 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 4068 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.1 CPU user time (s): 2400.09 CPU system time (s): 0.012001 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 27484 Max. memory (cumulated for all children) (KiB): 4068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.09 system time used= 0.012001 maximum resident set size= 4132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3169 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= 883 # summary of solver processes directly reported to runsolver: # pid: 18444 # total CPU time (s): 2400.1 # total CPU user time (s): 2400.09 # total CPU system time (s): 0.012001 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.95423 second user time and 16.71 second system time The end
Begin job on node116 at 2019-09-15 22:41:53 IDJOB=4397390 IDBENCH=133319 IDSOLVER=2849 FILE ID=node116/4397390-1568580154 RUNJOBID= node116-1568572744-16758 PBS_JOBID= 21703332 Free space on /tmp= 61228 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-60-3-5.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397390-1568580154/watcher-4397390-1568580154 -o /tmp/evaluation-result-4397390-1568580154/solver-4397390-1568580154 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397390-1568580154.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0dd1a305ead2bfc8d563708a38f33655 RANDOM SEED=2079047598 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: 30773244 kB MemAvailable: 31849188 kB Buffers: 108400 kB Cached: 1261844 kB SwapCached: 46620 kB Active: 927840 kB Inactive: 493480 kB Active(anon): 4984 kB Inactive(anon): 94976 kB Active(file): 922856 kB Inactive(file): 398504 kB Unevictable: 110612 kB Mlocked: 110612 kB SwapTotal: 67108860 kB SwapFree: 66961176 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 116120 kB Mapped: 47832 kB Shmem: 40260 kB Slab: 169284 kB SReclaimable: 140836 kB SUnreclaim: 28448 kB KernelStack: 3568 kB PageTables: 5684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 536456 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61228 MiB End job on node116 at 2019-09-15 23:21:53