Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.06 | 2399.9 |
Name | PseudoBoolean/PseudoBoolean-dec-spba/ Pb-BeauxArts-K80.xml |
MD5SUM | 330870ed9e83d00984bc877f52c977b4 |
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 | 15.8012 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4400 |
Number of constraints | 4562 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":4400}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":140},{"degree":5,"count":654},{"degree":6,"count":2350},{"degree":7,"count":707},{"degree":8,"count":392},{"degree":9,"count":156}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 80 |
Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":790},{"arity":3,"count":2291},{"arity":4,"count":711},{"arity":5,"count":395},{"arity":6,"count":158},{"arity":55,"count":160},{"arity":80,"count":55}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":4562}] |
Optimization problem | NO |
Type of objective |
0.51/0.57 c root propagations : 455 0.51/0.57 c restarts enabled, print stats at every restarts 0.51/0.57 c 0.51/0.57 c 0.51/0.57 c 0.51/0.57 c This is cosoco 2.00 -- 0.51/0.57 c 0.51/0.57 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408560-1569801984.xml 0.51/0.57 c ========================================[ Problem Statistics ]=========================================== 0.51/0.57 c | 0.51/0.57 c | Parse time : 0.48 s 0.51/0.57 c | 0.51/0.57 c | Variables: 4400 0.51/0.57 c | Domain Sizes: 2..2 0.51/0.57 c | 0.51/0.57 c | Constraints: 4562 0.51/0.57 c | Arity: 1..80 -- Unary: 2 -- Binary: 790 -- Ternary: 2291 0.51/0.57 c | 0.51/0.57 c | Types: 0.51/0.57 c | Sum: 4562 0.51/0.57 c | 0.51/0.57 c ========================================================================================================= 0.51/0.57 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.19/1.20 c 101 5324 290431 93256 455 0 1842 3326 3114 1.59/1.67 c 211 13227 426247 143565 455 0 360 1008 916 2.10/2.14 c 332 20651 582817 199256 455 0 465 1576 1094 2.59/2.60 c 465 29015 717758 247871 455 0 752 1551 1249 3.29/3.36 c 611 36532 1049898 385788 455 0 862 1077 963 4.19/4.20 c 771 45768 1401494 527873 455 0 1095 1442 1178 4.79/4.89 c 947 53923 1677768 638059 455 0 871 1234 1089 5.48/5.59 c 1140 64746 1904715 726345 455 0 867 1318 1028 6.69/6.72 c 1352 78673 2318590 892814 455 0 684 980 796 7.89/7.95 c 1585 88435 2897259 1140760 455 0 653 837 713 8.89/8.95 c 1841 98467 3322260 1314558 455 0 477 637 552 10.00/10.05 c 2122 110747 3742491 1482924 455 0 459 987 733 11.29/11.33 c 2431 122809 4284537 1688066 455 0 595 758 681 12.89/12.90 c 2770 137284 4921177 1932439 455 0 419 708 528 14.39/14.44 c 3142 154506 5514339 2163973 455 0 305 809 625 15.89/15.97 c 3551 168912 6224796 2440830 455 0 460 703 601 17.69/17.74 c 4000 181004 7056763 2760884 455 0 391 550 482 19.10/19.11 c 4493 191621 7718242 2996788 455 0 416 478 454 22.59/22.66 c 5035 254621 8639056 3321664 455 0 417 1717 662 24.79/24.82 c 5631 288570 9285233 3568059 455 0 563 1154 690 26.49/26.57 c 6286 305959 10059725 3901414 455 0 513 666 593 29.29/29.37 c 7006 353596 10790055 4172817 455 0 431 784 641 30.79/30.87 c 7798 371048 11414992 4409947 455 0 505 584 545 33.39/33.44 c 8669 394375 12531516 4799911 455 0 463 639 557 38.79/38.88 c 9627 437980 15008690 5784772 455 0 457 821 655 43.29/43.37 c 10680 471142 17187076 6605919 455 0 446 624 524 47.39/47.49 c 11838 518484 18786467 7218156 455 0 495 985 671 52.89/52.99 c 13111 574170 21007771 8209987 455 0 539 911 761 59.29/59.38 c 14511 626470 23851656 9359606 455 0 628 1006 803 67.10/67.12 c 16051 701274 27158930 10705874 455 0 753 1309 969 76.39/76.46 c 17745 806529 31084577 12496430 455 0 906 1546 1232 85.28/85.33 c 19608 893192 35102162 14094062 455 0 923 1521 1195 92.38/92.49 c 21657 990745 38119924 15331936 455 0 995 1434 1280 102.47/102.58 c 23910 1108249 42477132 17112008 455 0 810 1193 982 110.87/110.98 c 26388 1258868 45436620 18319397 455 0 977 1563 1316 119.66/119.79 c 29113 1359515 49490363 19976518 455 0 987 1266 1106 132.66/132.78 c 32110 1474319 55928453 22502448 455 0 861 1095 1009 154.96/155.08 c 35406 1660964 66033134 26382434 455 0 708 1024 843 164.75/164.82 c 39031 1739043 70751492 28159743 455 0 558 846 763 186.07/186.15 c 43018 1904574 80125435 31227107 455 0 544 744 666 204.26/204.31 c 47403 2095983 87468917 34229961 455 0 488 743 674 219.66/219.78 c 52226 2299594 92932370 36512079 455 0 399 760 623 242.26/242.37 c 57531 2420708 104181291 40512854 455 0 442 577 540 260.16/260.20 c 63366 2590419 111715349 43549490 455 0 362 573 490 279.76/279.87 c 69784 2782041 119917395 46320824 455 0 314 492 404 321.27/321.36 c 76843 3309489 136866983 52710921 455 0 194 1193 842 364.57/364.65 c 84607 3935006 152604336 58685360 455 0 288 1428 647 399.08/399.19 c 93147 4204542 169847827 65057039 455 0 325 885 529 456.00/456.03 c 102541 5308332 186940590 71669779 455 0 364 2043 867 500.29/500.37 c 112874 6072019 202034612 78232514 455 0 614 1462 1046 559.29/559.34 c 124240 6569865 231002644 88701534 455 0 588 1048 824 610.01/610.02 c 136742 7102388 255141172 97435663 455 0 640 1133 912 680.40/680.49 c 150494 7968310 286324354 110042148 455 0 755 1210 985 775.31/775.34 c 165621 8993529 329407250 127556247 455 0 676 1468 1060 871.42/871.41 c 182260 10021510 373454058 146852898 455 0 801 1513 1211 947.63/947.67 c 200562 10781073 408049104 161642678 455 0 826 1420 1108 1025.04/1025.10 c 220694 12007383 436214578 174278090 455 0 706 1321 1145 1107.34/1107.35 c 242839 13156518 468610490 188404909 455 0 674 1534 1046 1189.85/1189.82 c 267198 14272337 502739966 203392258 455 0 866 1476 1171 1328.17/1328.14 c 293992 15640268 567121926 228813485 455 0 685 1161 936 1575.08/1575.07 c 323465 19242327 667659806 266181366 455 0 814 2477 1339 1765.40/1765.34 c 355885 21423156 750526410 297475392 455 0 753 1477 1093 2010.62/2010.59 c 391547 24247561 860366054 341105084 455 0 777 1695 1128 2212.84/2212.77 c 430775 26020632 963127977 383252723 455 0 817 1247 1120 2369.55/2369.43 c 473925 27472247 1040007533 414252544 455 0 868 1482 1113 2400.05/2399.90 2400.05/2399.90 c *** INTERRUPTED *** 2400.05/2399.90 c restarts : 65 2400.05/2399.90 c conflicts : 478474 (199 /sec) 2400.05/2399.90 c decisions : 27759268 (11567 /sec) 2400.05/2399.90 c propagations : 420219185 (175097 /sec) 2400.05/2399.90 c root propagations : 455 2400.05/2399.90 c filter calls : 1054385075 (439340 /sec) 2400.05/2399.90 c useless filter calls : 939029396 (89 %) 2400.05/2399.90 c Memory used : 159.50 MB 2400.05/2399.90 c CPU time : 2399.93 s 2400.05/2399.90 c real time : 2399.9 s 2400.05/2399.90 2400.05/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 (15329 MiB free) memory of node 1: 16384 MiB (15336 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408560-1569801984/watcher-4408560-1569801984 -o /tmp/evaluation-result-4408560-1569801984/solver-4408560-1569801984 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408560-1569801984.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=29210, runsolver pid=29207 [startup+0.100167 s]* /proc/loadavg: 2.00 2.08 2.11 3/200 29211 /proc/meminfo: memFree=31390932/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=41212 memory=17628 CPUtime=0.1 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 4595 0 0 0 10 0 0 0 20 0 1 0 556139939 42201088 4407 33554432000 4194304 6211132 140730083451840 140730083448376 140702042598373 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 10303 4407 837 493 0 3608 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 41212 KiB Current children cumulated memory: 17628 KiB [startup+0.210851 s]* /proc/loadavg: 2.00 2.08 2.11 3/200 29211 /proc/meminfo: memFree=31370472/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=60168 memory=36548 CPUtime=0.21 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 9314 0 0 0 20 1 0 0 20 0 1 0 556139939 61612032 9137 33554432000 4194304 6211132 140730083451840 140730083448376 140702042646432 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 15042 9137 837 493 0 8347 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 60168 KiB Current children cumulated memory: 36548 KiB [startup+0.310966 s]* /proc/loadavg: 2.00 2.08 2.11 3/200 29211 /proc/meminfo: memFree=31359252/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=73272 memory=49520 CPUtime=0.31 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 12584 0 0 0 29 2 0 0 20 0 1 0 556139939 75030528 12380 33554432000 4194304 6211132 140730083451840 140730083446200 140702042646432 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 18318 12380 837 493 0 11623 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 73272 KiB Current children cumulated memory: 49520 KiB [startup+0.700369 s] /proc/loadavg: 2.00 2.08 2.11 3/200 29211 /proc/meminfo: memFree=31319596/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=129312 memory=105916 CPUtime=0.69 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 26644 0 0 0 64 5 0 0 20 0 1 0 556139939 132415488 26479 33554432000 4194304 6211132 140730083451840 140730083446200 5156946 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 32328 26479 874 493 0 25633 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 129312 KiB Current children cumulated memory: 105916 KiB [startup+1.50035 s] /proc/loadavg: 2.00 2.08 2.11 3/200 29211 /proc/meminfo: memFree=31276108/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=155908 memory=132052 CPUtime=1.49 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 33182 0 0 0 143 6 0 0 20 0 1 0 556139939 159649792 33013 33554432000 4194304 6211132 140730083451840 140730083449800 5155402 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 38977 33013 874 493 0 32282 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 155908 KiB Current children cumulated memory: 132052 KiB [startup+3.11074 s] /proc/loadavg: 2.00 2.08 2.11 3/200 29212 /proc/meminfo: memFree=31274124/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=156040 memory=132256 CPUtime=3.1 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 47041 0 0 0 303 7 0 0 20 0 1 0 556139939 159784960 33064 33554432000 4194304 6211132 140730083451840 140730083449800 5409485 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39010 33064 875 493 0 32315 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 156040 KiB Current children cumulated memory: 132256 KiB [startup+6.30029 s] /proc/loadavg: 2.00 2.08 2.11 3/200 29212 /proc/meminfo: memFree=31273680/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=156836 memory=132964 CPUtime=6.29 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 61387 0 0 0 621 8 0 0 20 0 1 0 556139939 160600064 33241 33554432000 4194304 6211132 140730083451840 140730083449800 5409485 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39209 33241 875 493 0 32514 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 156836 KiB Current children cumulated memory: 132964 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.08 2.11 3/200 29212 /proc/meminfo: memFree=31273836/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=156836 memory=132964 CPUtime=12.69 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 73669 0 0 0 1261 8 0 0 20 0 1 0 556139939 160600064 33241 33554432000 4194304 6211132 140730083451840 140730083449800 5409485 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39209 33241 875 493 0 32514 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 156836 KiB Current children cumulated memory: 132964 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.08 2.10 3/199 29212 /proc/meminfo: memFree=31273236/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=157636 memory=133760 CPUtime=25.49 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 98713 0 0 0 2539 10 0 0 20 0 1 0 556139939 161419264 33440 33554432000 4194304 6211132 140730083451840 140730083449800 5409497 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39409 33440 875 493 0 32714 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 157636 KiB Current children cumulated memory: 133760 KiB [startup+51.1105 s] /proc/loadavg: 2.00 2.07 2.10 3/199 29214 /proc/meminfo: memFree=31273052/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=157636 memory=133760 CPUtime=51.1 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 111808 0 0 0 5100 10 0 0 20 0 1 0 556139939 161419264 33440 33554432000 4194304 6211132 140730083451840 140730083449800 5155373 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39409 33440 875 493 0 32714 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 157636 KiB Current children cumulated memory: 133760 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.06 2.10 3/199 29218 /proc/meminfo: memFree=31271812/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=158440 memory=134676 CPUtime=102.27 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 125296 0 0 0 10216 11 0 0 20 0 1 0 556139939 162242560 33669 33554432000 4194304 6211132 140730083451840 140730083449800 5409493 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39610 33669 875 493 0 32915 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 158440 KiB Current children cumulated memory: 134676 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.05 2.09 3/199 29222 /proc/meminfo: memFree=31270728/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=158576 memory=135220 CPUtime=162.25 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 130262 0 0 0 16214 11 0 0 20 0 1 0 556139939 162381824 33805 33554432000 4194304 6211132 140730083451840 140730083449800 5397258 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39644 33805 875 493 0 32949 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 158576 KiB Current children cumulated memory: 135220 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.04 2.08 3/199 29228 /proc/meminfo: memFree=31270636/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=158576 memory=135220 CPUtime=222.26 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 130644 0 0 0 22215 11 0 0 20 0 1 0 556139939 162381824 33805 33554432000 4194304 6211132 140730083451840 140730083449800 5250273 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39644 33805 875 493 0 32949 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 158576 KiB Current children cumulated memory: 135220 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.08 3/200 29240 /proc/meminfo: memFree=31270316/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=158576 memory=135220 CPUtime=282.27 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 130655 0 0 0 28216 11 0 0 20 0 1 0 556139939 162381824 33805 33554432000 4194304 6211132 140730083451840 140730083449800 5155373 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39644 33805 875 493 0 32949 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 158576 KiB Current children cumulated memory: 135220 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.07 3/200 29244 /proc/meminfo: memFree=31270260/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=158576 memory=135220 CPUtime=342.27 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 131078 0 0 0 34216 11 0 0 20 0 1 0 556139939 162381824 33805 33554432000 4194304 6211132 140730083451840 140730083449800 5409481 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39644 33805 875 493 0 32949 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 158576 KiB Current children cumulated memory: 135220 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.07 3/200 29250 /proc/meminfo: memFree=31271000/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=158708 memory=135220 CPUtime=402.27 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 131100 0 0 0 40216 11 0 0 20 0 1 0 556139939 162516992 33805 33554432000 4194304 6211132 140730083451840 140730083449800 5409485 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39677 33805 875 493 0 32982 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 158708 KiB Current children cumulated memory: 135220 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.06 3/200 29254 /proc/meminfo: memFree=31269336/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=159792 memory=136436 CPUtime=462.29 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 131836 0 0 0 46217 12 0 0 20 0 1 0 556139939 163627008 34109 33554432000 4194304 6211132 140730083451840 140730083449800 5409485 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 39948 34109 875 493 0 33253 0 Current children cumulated CPU time: 462.29 s Current children cumulated vsize: 159792 KiB Current children cumulated memory: 136436 KiB ################ # More data... # ################ /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 1662.39 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+1722.3 s] /proc/loadavg: 2.16 2.05 2.06 3/200 29370 /proc/meminfo: memFree=31260708/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=1722.4 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 136494 0 0 0 172227 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5250304 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 1722.4 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+1782.3 s] /proc/loadavg: 2.47 2.17 2.10 3/199 29374 /proc/meminfo: memFree=31261060/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=1782.4 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 136905 0 0 0 178227 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5155549 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 1782.4 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+1842.3 s] /proc/loadavg: 2.17 2.14 2.09 3/199 29380 /proc/meminfo: memFree=31260952/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=1842.41 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 136930 0 0 0 184228 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5193786 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 1842.41 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+1902.3 s] /proc/loadavg: 2.46 2.21 2.12 3/199 29384 /proc/meminfo: memFree=31261132/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=1902.41 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 137258 0 0 0 190228 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5156288 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 1902.41 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+1962.3 s] /proc/loadavg: 2.35 2.24 2.14 3/199 29388 /proc/meminfo: memFree=31261172/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=1962.42 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 137262 0 0 0 196229 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5156288 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 1962.42 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+2022.3 s] /proc/loadavg: 2.13 2.20 2.13 3/199 29394 /proc/meminfo: memFree=31261376/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2022.42 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 137663 0 0 0 202229 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5409497 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2022.42 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+2082.3 s] /proc/loadavg: 2.05 2.16 2.12 3/200 29467 /proc/meminfo: memFree=31024380/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2082.43 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 137665 0 0 0 208230 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5250283 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2082.43 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+2142.3 s] /proc/loadavg: 1.96 2.12 2.11 3/200 29471 /proc/meminfo: memFree=31024672/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2142.43 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 137964 0 0 0 214230 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5250491 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2142.43 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+2202.3 s] /proc/loadavg: 1.99 2.10 2.11 3/200 29477 /proc/meminfo: memFree=31023676/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2202.44 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 137965 0 0 0 220231 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5250273 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2202.44 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+2262.3 s] /proc/loadavg: 1.99 2.08 2.10 3/200 29481 /proc/meminfo: memFree=31022156/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2262.44 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 138332 0 0 0 226231 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5156288 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2262.44 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.06 2.10 3/200 29485 /proc/meminfo: memFree=31021964/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2322.45 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 138344 0 0 0 232232 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5156288 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2322.45 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.05 2.09 3/199 29491 /proc/meminfo: memFree=31020620/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2382.45 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 138745 0 0 0 238232 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5250325 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2382.45 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.00 2.05 2.09 3/199 29491 /proc/meminfo: memFree=31020740/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2400.05 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 138747 0 0 0 239992 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5155373 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 29210 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.93 s, system=0.133011 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.05 2.09 3/199 29491 /proc/meminfo: memFree=31020740/32770688 swapFree=67001380/67108860 [pid=29210] ppid=29207 vsize=163328 memory=139996 CPUtime=2400.05 cores=4-7 /proc/29210/stat : 29210 (cosoco) R 29207 29210 26332 0 -1 4202496 138747 0 0 0 239992 13 0 0 20 0 1 0 556139939 167247872 34999 33554432000 4194304 6211132 140730083451840 140730083449800 5155373 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 9371648 140730083460107 140730083460209 140730083460209 140730083463118 0 /proc/29210/statm: 40832 34999 875 493 0 34137 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 163328 KiB Current children cumulated memory: 139996 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.06 CPU user time (s): 2399.93 CPU system time (s): 0.133011 CPU usage (%): 100.007 Max. virtual memory (cumulated for all children) (KiB): 163328 Max. memory (cumulated for all children) (KiB): 139996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.93 system time used= 0.133011 maximum resident set size= 140060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138787 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= 68 involuntary context switches= 737 # summary of solver processes directly reported to runsolver: # pid: 29210 # total CPU time (s): 2400.06 # total CPU user time (s): 2399.93 # total CPU system time (s): 0.133011 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.03568 second user time and 18.5528 second system time The end
Begin job on node116 at 2019-09-30 02:05:42 IDJOB=4408560 IDBENCH=134823 IDSOLVER=2875 FILE ID=node116/4408560-1569801984 RUNJOBID= node116-1569787351-26364 PBS_JOBID= 21705835 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spba/Pb-BeauxArts-K80.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408560-1569801984/watcher-4408560-1569801984 -o /tmp/evaluation-result-4408560-1569801984/solver-4408560-1569801984 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408560-1569801984.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 330870ed9e83d00984bc877f52c977b4 RANDOM SEED=110465418 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: 31403020 kB MemAvailable: 31758216 kB Buffers: 192600 kB Cached: 482532 kB SwapCached: 3344 kB Active: 470784 kB Inactive: 307144 kB Active(anon): 120156 kB Inactive(anon): 63420 kB Active(file): 350628 kB Inactive(file): 243724 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 3112 kB Writeback: 0 kB AnonPages: 209232 kB Mapped: 28484 kB Shmem: 72416 kB Slab: 184224 kB SReclaimable: 153360 kB SUnreclaim: 30864 kB KernelStack: 3568 kB PageTables: 6084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 664888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 161792 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= 62024 MiB End job on node116 at 2019-09-30 02:45:42