Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.1 | 2399.9 |
Name | Random/Random-RB-3-28-28f/ rand-3-28-28-93-632f-36.xml |
MD5SUM | e0a8d3734b0eaa27800dfa1f13e1fbfb |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 28 |
Number of constraints | 93 |
Number of domains | 1 |
Minimum domain size | 28 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":28,"count":28}] |
Minimum variable degree | 4 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":4,"count":2},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":7,"count":3},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":5},{"degree":11,"count":4},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":93}] |
Number of extensional constraints | 93 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":93}] |
Optimization problem | NO |
Type of objective |
3.00/3.01 c root propagations : 0 3.00/3.01 c restarts enabled, print stats at every restarts 3.00/3.01 c 3.00/3.01 c 3.00/3.01 c 3.00/3.01 c This is cosoco 2.00 -- 3.00/3.01 c 3.00/3.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408664-1569789797.xml 3.00/3.01 c ========================================[ Problem Statistics ]=========================================== 3.00/3.01 c | 3.00/3.01 c | Parse time : 2.98 s 3.00/3.01 c | 3.00/3.01 c | Variables: 28 3.00/3.01 c | Domain Sizes: 28..28 3.00/3.01 c | 3.00/3.01 c | Constraints: 93 3.00/3.01 c | Arity: 3..3 -- Ternary: 93 3.00/3.01 c | 3.00/3.01 c | Types: 3.00/3.01 c | Extension: 93 (nb tuples: 8079..8079) -- (shared: 0) 3.00/3.01 c | 3.00/3.01 c ========================================================================================================= 3.00/3.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.19/3.22 c 101 151 11358 12868 0 0 8 11 9 3.39/3.47 c 211 343 26538 30619 0 0 7 13 9 3.59/3.69 c 332 567 43758 48454 0 0 7 12 9 3.89/3.98 c 465 812 64023 71457 0 0 7 12 9 4.29/4.37 c 611 1089 86137 95199 0 0 7 12 8 4.59/4.65 c 771 1341 104132 114754 0 0 7 12 9 4.89/4.97 c 947 1610 123176 139262 0 0 8 11 9 5.39/5.46 c 1140 1932 145832 168374 0 0 7 12 8 5.79/5.87 c 1352 2298 172804 194518 0 0 7 13 9 6.39/6.41 c 1585 2735 206491 228025 0 0 6 12 8 7.00/7.07 c 1841 3189 240030 260383 0 0 6 13 8 7.69/7.71 c 2122 3656 275796 300371 0 0 7 12 9 8.29/8.33 c 2431 4339 328635 341012 0 0 7 13 9 9.10/9.16 c 2770 4935 371509 383847 0 0 6 14 8 9.79/9.89 c 3142 5552 414842 434941 0 0 7 13 9 10.29/10.32 c 3551 6186 464199 480815 0 0 7 12 9 11.39/11.42 c 4000 6981 525620 539237 0 0 6 13 9 12.39/12.48 c 4493 7812 581297 599904 0 0 6 13 8 13.59/13.69 c 5035 8650 642413 672694 0 0 6 12 8 15.10/15.14 c 5631 9776 723799 751711 0 0 6 12 8 16.69/16.78 c 6286 10969 831527 853506 0 0 6 11 8 17.89/17.91 c 7006 12211 931149 950646 0 0 7 12 9 19.59/19.65 c 7798 13467 1009792 1048203 0 0 6 12 7 21.18/21.20 c 8669 14905 1115567 1169867 0 0 6 12 8 23.00/23.02 c 9627 16435 1209095 1272286 0 0 5 13 8 24.68/24.77 c 10680 18156 1330737 1402178 0 0 6 12 8 27.58/27.68 c 11838 20412 1519768 1554738 0 0 6 13 8 30.88/30.96 c 13111 22657 1702150 1735108 0 0 6 13 8 33.48/33.59 c 14511 25138 1901893 1918259 0 0 6 13 9 35.99/36.04 c 16051 27566 2067390 2114279 0 0 5 13 8 39.58/39.63 c 17745 30570 2298476 2340617 0 0 6 13 8 43.78/43.80 c 19608 34154 2575390 2594750 0 0 6 13 9 46.38/46.47 c 21657 37320 2788556 2858344 0 0 5 12 8 49.78/49.82 c 23910 40624 2983788 3077758 0 0 5 13 8 54.48/54.52 c 26388 44777 3327968 3435421 0 0 6 13 8 59.68/59.73 c 29113 49691 3731783 3836991 0 0 5 14 8 64.58/64.67 c 32110 54198 4018238 4160287 0 0 5 13 8 72.48/72.54 c 35406 59165 4398110 4591299 0 0 4 13 8 80.09/80.14 c 39031 64848 4828215 5098609 0 0 5 13 8 88.48/88.59 c 43018 71951 5373286 5588383 0 0 6 14 8 97.79/97.87 c 47403 79805 5930264 6135754 0 0 5 13 7 106.29/106.37 c 52226 87222 6381911 6656284 0 0 5 14 8 115.29/115.32 c 57531 96175 7079425 7375622 0 0 6 14 9 129.39/129.46 c 63366 107225 7929578 8165646 0 0 5 13 8 141.89/141.90 c 69784 118224 8824323 9105488 0 0 5 12 8 153.39/153.44 c 76843 128886 9692659 9942643 0 0 5 12 8 167.19/167.29 c 84607 141350 10515031 10830024 0 0 5 14 8 182.29/182.39 c 93147 157398 11797192 11919857 0 0 5 14 8 203.89/203.92 c 102541 174468 13116583 13150443 0 0 5 13 8 221.79/221.82 c 112874 192256 14473647 14574757 0 0 5 14 9 245.60/245.67 c 124240 212681 16041887 16032422 0 0 5 15 8 269.40/269.41 c 136742 233284 17602211 17780018 0 0 5 14 8 293.80/293.83 c 150494 254848 18996093 19331993 0 0 5 13 8 317.90/317.91 c 165621 280886 20844851 21211605 0 0 4 15 8 356.02/356.02 c 182260 311514 23396093 23579600 0 0 5 13 8 385.52/385.57 c 200562 339773 25178953 25525361 0 0 5 14 8 416.62/416.67 c 220694 373463 27707059 28201488 0 0 5 14 8 465.22/465.20 c 242839 414544 31215901 31371539 0 0 5 12 8 513.04/513.04 c 267198 458433 34663266 34703885 0 0 5 15 8 558.33/558.38 c 293992 502229 37651061 37808807 0 0 5 14 8 626.74/626.76 c 323465 550883 41151796 41470938 0 0 4 15 7 683.15/683.12 c 355885 601029 44379215 45025523 0 0 4 15 8 764.55/764.53 c 391547 657575 48723359 49594804 0 0 5 15 8 849.26/849.23 c 430775 728828 54286138 55137814 0 0 5 14 8 924.76/924.70 c 473925 800965 59109936 59984983 0 0 5 15 8 1002.47/1002.45 c 521390 885980 65756177 66278214 0 0 4 14 9 1110.57/1110.52 c 573601 976632 72691134 73479268 0 0 5 15 8 1245.98/1245.98 c 631033 1080614 80449465 81476766 0 0 5 14 8 1367.11/1367.04 c 694208 1201003 89819848 89613273 0 0 4 14 8 1498.02/1497.98 c 763700 1319990 99025092 99286190 0 0 4 14 8 1628.03/1627.91 c 840141 1440896 106738635 107552214 0 0 4 15 8 1785.34/1785.26 c 924226 1587796 118002922 118707515 0 0 4 16 8 1999.66/1999.58 c 1016719 1752768 130161594 131278938 0 0 4 14 8 2224.88/2224.75 c 1118461 1940026 144216071 144519913 0 0 4 14 8 2400.09/2399.90 2400.09/2399.90 c *** INTERRUPTED *** 2400.09/2399.90 c restarts : 74 2400.09/2399.90 c conflicts : 1198393 (499 /sec) 2400.09/2399.90 c decisions : 2077965 (866 /sec) 2400.09/2399.90 c propagations : 155832092 (64929 /sec) 2400.09/2399.90 c root propagations : 0 2400.09/2399.90 c filter calls : 154716928 (64464 /sec) 2400.09/2399.90 c useless filter calls : 117584780 (75 %) 2400.09/2399.90 c Memory used : 70.99 MB 2400.09/2399.90 c CPU time : 2400.05 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 (15426 MiB free) memory of node 1: 16384 MiB (15304 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408664-1569789797/watcher-4408664-1569789797 -o /tmp/evaluation-result-4408664-1569789797/solver-4408664-1569789797 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408664-1569789797.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=26797, runsolver pid=26794 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 2.00 2.02 1.88 3/199 26798 /proc/meminfo: memFree=31467324/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=29488 memory=5488 CPUtime=0.1 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 1626 0 0 0 10 0 0 0 20 0 1 0 554921223 30195712 1372 33554432000 4194304 6211132 140721270803776 140721270800312 139884005008512 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 7372 1372 810 493 0 677 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 29488 KiB Current children cumulated memory: 5488 KiB [startup+0.210664 s]* /proc/loadavg: 2.00 2.02 1.88 3/199 26798 /proc/meminfo: memFree=31466488/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=30756 memory=6808 CPUtime=0.21 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 1914 0 0 0 21 0 0 0 20 0 1 0 554921223 31494144 1702 33554432000 4194304 6211132 140721270803776 140721270800312 5818370 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 7689 1702 810 493 0 994 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 30756 KiB Current children cumulated memory: 6808 KiB [startup+0.310181 s]* /proc/loadavg: 2.00 2.02 1.88 3/199 26798 /proc/meminfo: memFree=31465372/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=32020 memory=7864 CPUtime=0.31 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 2202 0 0 0 31 0 0 0 20 0 1 0 554921223 32788480 1966 33554432000 4194304 6211132 140721270803776 140721270800312 139884005008512 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 8005 1966 810 493 0 1310 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 32020 KiB Current children cumulated memory: 7864 KiB [startup+0.700293 s] /proc/loadavg: 2.00 2.02 1.88 3/199 26798 /proc/meminfo: memFree=31463148/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=37088 memory=12352 CPUtime=0.69 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 3354 0 0 0 69 0 0 0 20 0 1 0 554921223 37978112 3088 33554432000 4194304 6211132 140721270803776 140721270800312 5818409 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 9272 3088 811 493 0 2577 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 37088 KiB Current children cumulated memory: 12352 KiB [startup+1.50031 s] /proc/loadavg: 2.00 2.02 1.88 3/199 26798 /proc/meminfo: memFree=31457032/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=47640 memory=22120 CPUtime=1.48 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 5753 0 0 0 148 0 0 0 20 0 1 0 554921223 48783360 5530 33554432000 4194304 6211132 140721270803776 140721270801048 5814188 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 11910 5530 811 493 0 5215 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 47640 KiB Current children cumulated memory: 22120 KiB [startup+3.11084 s] /proc/loadavg: 2.00 2.02 1.88 3/199 26798 /proc/meminfo: memFree=31427716/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=45712 CPUtime=3.1 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 22098 0 0 0 308 2 0 0 20 0 1 0 554921223 74436608 11428 33554432000 4194304 6211132 140721270803776 140721270801048 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 11428 852 493 0 11478 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 45712 KiB [startup+6.30039 s] /proc/loadavg: 2.00 2.02 1.88 3/199 26798 /proc/meminfo: memFree=31427416/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=45720 CPUtime=6.29 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 32555 0 0 0 627 2 0 0 20 0 1 0 554921223 74436608 11430 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 11430 854 493 0 11478 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 45720 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.02 1.88 3/199 26798 /proc/meminfo: memFree=31427500/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=45720 CPUtime=12.69 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 43008 0 0 0 1267 2 0 0 20 0 1 0 554921223 74436608 11430 33554432000 4194304 6211132 140721270803776 140721270801736 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 11430 854 493 0 11478 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 45720 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.02 1.89 3/199 26798 /proc/meminfo: memFree=31425344/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=46948 CPUtime=25.48 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 60705 0 0 0 2545 3 0 0 20 0 1 0 554921223 74436608 11737 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 11737 854 493 0 11478 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 46948 KiB [startup+51.1108 s] /proc/loadavg: 2.00 2.02 1.89 3/199 26801 /proc/meminfo: memFree=31423252/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=51.09 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 61372 0 0 0 5106 3 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.89 3/199 26805 /proc/meminfo: memFree=31422848/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=102.29 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 62031 0 0 0 10226 3 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.90 3/199 26809 /proc/meminfo: memFree=31423512/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=162.29 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 62690 0 0 0 16226 3 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5039014 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.90 3/199 26815 /proc/meminfo: memFree=31423708/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=222.29 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 63349 0 0 0 22226 3 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5039323 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.91 3/199 26819 /proc/meminfo: memFree=31423484/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=282.3 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 63349 0 0 0 28227 3 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038947 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 282.3 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.92 3/199 26823 /proc/meminfo: memFree=31423340/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=342.31 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 64008 0 0 0 34227 4 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 342.31 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+402.3 s] /proc/loadavg: 2.06 2.03 1.93 3/199 26829 /proc/meminfo: memFree=31423040/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=402.32 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 64008 0 0 0 40228 4 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+462.3 s] /proc/loadavg: 2.14 2.06 1.94 3/200 26841 /proc/meminfo: memFree=31423076/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=462.32 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 64438 0 0 0 46228 4 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5039328 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 462.32 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB ################ # More data... # ################ /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 1662.43 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.97 3/200 27043 /proc/meminfo: memFree=31455940/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=1722.43 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 71088 0 0 0 172238 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5389440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 1722.43 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.97 3/200 27047 /proc/meminfo: memFree=31455640/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=1782.44 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 71665 0 0 0 178239 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 1782.44 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.97 3/200 27053 /proc/meminfo: memFree=31455508/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=1842.44 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 71747 0 0 0 184239 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 1842.44 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.97 3/200 27057 /proc/meminfo: memFree=31455084/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=1902.45 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 72197 0 0 0 190240 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 1902.45 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27061 /proc/meminfo: memFree=31455476/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=1962.45 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 72197 0 0 0 196240 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 1962.45 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27067 /proc/meminfo: memFree=31456216/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2022.46 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 72856 0 0 0 202241 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2022.46 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27071 /proc/meminfo: memFree=31455912/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2082.46 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 72856 0 0 0 208241 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2082.46 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27075 /proc/meminfo: memFree=31455868/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2142.47 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 73309 0 0 0 214242 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2142.47 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27080 /proc/meminfo: memFree=31456432/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2202.47 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 73309 0 0 0 220242 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2202.47 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27091 /proc/meminfo: memFree=31456384/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2262.48 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 73968 0 0 0 226243 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038995 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2262.48 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27095 /proc/meminfo: memFree=31455696/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2322.48 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 73968 0 0 0 232243 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2322.48 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27101 /proc/meminfo: memFree=31455152/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2382.49 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 74463 0 0 0 238244 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2382.49 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.00 2.01 1.97 3/199 27102 /proc/meminfo: memFree=31455696/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2400.09 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 74542 0 0 0 240004 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 26797 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.05 s, system=0.056004 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 1.97 3/199 27102 /proc/meminfo: memFree=31455696/32770688 swapFree=67001368/67108860 [pid=26797] ppid=26794 vsize=72692 memory=49248 CPUtime=2400.09 cores=0-3 /proc/26797/stat : 26797 (cosoco) R 26794 26797 26332 0 -1 4202496 74542 0 0 0 240004 5 0 0 20 0 1 0 554921223 74436608 12312 33554432000 4194304 6211132 140721270803776 140721270801736 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20328448 140721270805515 140721270805617 140721270805617 140721270808526 0 /proc/26797/statm: 18173 12312 854 493 0 11478 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 72692 KiB Current children cumulated memory: 49248 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.1 CPU user time (s): 2400.05 CPU system time (s): 0.056004 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 72692 Max. memory (cumulated for all children) (KiB): 49248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.056004 maximum resident set size= 49316 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74592 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= 28 involuntary context switches= 651 # summary of solver processes directly reported to runsolver: # pid: 26797 # total CPU time (s): 2400.1 # total CPU user time (s): 2400.05 # total CPU system time (s): 0.056004 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.9224 second user time and 19.2264 second system time The end
Begin job on node116 at 2019-09-29 22:42:35 IDJOB=4408664 IDBENCH=122820 IDSOLVER=2875 FILE ID=node116/4408664-1569789797 RUNJOBID= node116-1569787351-26363 PBS_JOBID= 21705835 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Random/Random-RB-3-28-28f/rand-3-28-28-93-632f-36.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408664-1569789797/watcher-4408664-1569789797 -o /tmp/evaluation-result-4408664-1569789797/solver-4408664-1569789797 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408664-1569789797.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0a8d3734b0eaa27800dfa1f13e1fbfb RANDOM SEED=1133168144 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: 31469636 kB MemAvailable: 31820296 kB Buffers: 187936 kB Cached: 483020 kB SwapCached: 3260 kB Active: 410988 kB Inactive: 300984 kB Active(anon): 58756 kB Inactive(anon): 63324 kB Active(file): 352232 kB Inactive(file): 237660 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001368 kB Dirty: 9200 kB Writeback: 0 kB AnonPages: 293252 kB Mapped: 28136 kB Shmem: 72416 kB Slab: 183816 kB SReclaimable: 153208 kB SUnreclaim: 30608 kB KernelStack: 3760 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 603848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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= 62020 MiB End job on node116 at 2019-09-29 23:22:35