Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PicatSAT 2019-09-12 | OPT | 4 | 24.0367 | 24.0515 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml |
MD5SUM | 4c5949db6bfbca6a63c3d4670a37bb2f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 1.94048 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 9803 |
Number of domains | 1 |
Minimum domain size | 450 |
Maximum domain size | 450 |
Distribution of domain sizes | [{"size":450,"count":450}] |
Minimum variable degree | 28 |
Maximum variable degree | 67 |
Distribution of variable degrees | [{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":9803}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 9803 |
Distribution of constraint types | [{"type":"intension","count":9803}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
23.98/24.04 c xcsp_picat version 2.7b12 (9/12/2019) 23.98/24.04 o 138 23.98/24.04 o 43 23.98/24.04 o 14 23.98/24.04 o 4 23.98/24.04 s OPTIMUM FOUND 23.98/24.04 v <instantiation> 23.98/24.04 v <list> x[] </list> 23.98/24.04 v <values> 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 4 2 1 3 0 </values> 23.98/24.04 v </instantiation>
OK 4
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: 16374 MiB (15367 MiB free) memory of node 1: 16384 MiB (15639 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395224-1568323519/watcher-4395224-1568323519 -o /tmp/evaluation-result-4395224-1568323519/solver-4395224-1568323519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4395224-1568323519.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16037, runsolver pid=16034 Current StackSize limit: 8192 KiB [startup+0.100117 s]* /proc/loadavg: 1.77 1.96 2.03 3/200 16038 /proc/meminfo: memFree=31729668/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2031716 memory=23492 CPUtime=0.1 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 1964 0 0 0 10 0 0 0 20 0 1 0 408603344 2080477184 5873 33554432000 4194304 5870510 140722041155616 140722041152760 4463385 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 507929 5873 848 410 0 503402 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 23492 KiB [startup+0.209499 s]* /proc/loadavg: 1.77 1.96 2.03 3/200 16038 /proc/meminfo: memFree=31703748/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2060876 memory=51528 CPUtime=0.21 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 8476 0 0 0 20 1 0 0 20 0 1 0 408603344 2110337024 12882 33554432000 4194304 5870510 140722041155616 140722041152760 5287589 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 515219 12882 886 410 0 510692 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2060876 KiB Current children cumulated memory: 51528 KiB [startup+0.30958 s]* /proc/loadavg: 1.77 1.96 2.03 3/200 16038 /proc/meminfo: memFree=31674608/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2090240 memory=79324 CPUtime=0.31 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 15641 0 0 0 29 2 0 0 20 0 1 0 408603344 2140405760 19831 33554432000 4194304 5870510 140722041155616 140722041154392 5255728 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 522560 19831 886 410 0 518033 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2090240 KiB Current children cumulated memory: 79324 KiB [startup+0.700341 s] /proc/loadavg: 1.77 1.96 2.03 3/200 16038 /proc/meminfo: memFree=31669400/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2122980 memory=101804 CPUtime=0.69 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 19792 0 0 0 67 2 0 0 20 0 1 0 408603344 2173931520 25451 33554432000 4194304 5870510 140722041155616 140722041154392 5321600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 530745 25451 896 410 0 526218 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2122980 KiB Current children cumulated memory: 101804 KiB [startup+1.50037 s] /proc/loadavg: 1.77 1.96 2.03 3/200 16038 /proc/meminfo: memFree=31636868/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2133268 memory=113860 CPUtime=1.5 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 23999 0 0 0 146 4 0 0 20 0 1 0 408603344 2184466432 28465 33554432000 4194304 5870510 140722041155616 140722041153944 5343854 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 533317 28465 897 410 0 528790 0 Current children cumulated CPU time: 1.5 s Current children cumulated vsize: 2133268 KiB Current children cumulated memory: 113860 KiB [startup+3.10936 s] /proc/loadavg: 1.77 1.96 2.03 3/200 16038 /proc/meminfo: memFree=31561500/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2204388 memory=180616 CPUtime=3.1 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 42607 0 0 0 304 6 0 0 20 0 1 0 408603344 2257293312 45154 33554432000 4194304 5870510 140722041155616 140722041153784 140434689137119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 551097 45154 897 410 0 546570 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2204388 KiB Current children cumulated memory: 180616 KiB [startup+6.30035 s] /proc/loadavg: 1.71 1.95 2.02 3/200 16039 /proc/meminfo: memFree=31616020/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2140176 memory=125412 CPUtime=6.28 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 62865 0 0 0 619 9 0 0 20 0 1 0 408603344 2191540224 31353 33554432000 4194304 5870510 140722041155616 140722041154328 5337497 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 535044 31353 926 410 0 530517 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 2140176 KiB Current children cumulated memory: 125412 KiB [startup+12.7003 s] /proc/loadavg: 1.73 1.95 2.02 3/201 16041 /proc/meminfo: memFree=31606792/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2132680 memory=122764 CPUtime=12.69 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 82300 0 0 0 1256 13 0 0 20 0 1 0 408603344 2183864320 30691 33554432000 4194304 5870510 140722041155616 140722041153976 5283087 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 533170 30691 928 410 0 528643 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2132680 KiB Current children cumulated memory: 122764 KiB [startup+24.0515 s] # the end of solver process 16037 was just reported to runsolver # cumulated CPU time of all completed processes: user=23.8377 s, system=0.199014 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8004 s] /proc/loadavg: 1.73 1.95 2.02 3/201 16041 /proc/meminfo: memFree=31606792/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2155848 memory=124812 CPUtime=12.79 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 82304 0 0 0 1266 13 0 0 20 0 1 0 408603344 2207588352 31203 33554432000 4194304 5870510 140722041155616 140722041153976 140434694816582 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 538962 31203 928 410 0 534435 0 Current children cumulated CPU time: 12.79 s Current children cumulated vsize: 2155848 KiB Current children cumulated memory: 124812 KiB [startup+19.2003 s] /proc/loadavg: 1.77 1.95 2.02 3/200 16041 /proc/meminfo: memFree=31618152/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2144172 memory=123896 CPUtime=19.19 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 98981 0 0 0 1904 15 0 0 20 0 1 0 408603344 2195632128 30974 33554432000 4194304 5870510 140722041155616 140722041153976 5274765 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 536043 30974 928 410 0 531516 0 Current children cumulated CPU time: 19.19 s Current children cumulated vsize: 2144172 KiB Current children cumulated memory: 123896 KiB [startup+22.4003 s] /proc/loadavg: 1.77 1.95 2.02 3/200 16102 /proc/meminfo: memFree=31553088/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2144172 memory=117076 CPUtime=22.37 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 108812 0 0 0 2218 19 0 0 20 0 1 0 408603344 2195632128 29269 33554432000 4194304 5870510 140722041155616 140722041153976 5282721 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 536043 29269 978 410 0 531516 0 Current children cumulated CPU time: 22.37 s Current children cumulated vsize: 2144172 KiB Current children cumulated memory: 117076 KiB [startup+23.2003 s] /proc/loadavg: 1.77 1.95 2.02 3/200 16102 /proc/meminfo: memFree=31523420/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2144172 memory=117076 CPUtime=23.17 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 108812 0 0 0 2298 19 0 0 20 0 1 0 408603344 2195632128 29269 33554432000 4194304 5870510 140722041155616 140722041153976 5308256 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 536043 29269 978 410 0 531516 0 Current children cumulated CPU time: 23.17 s Current children cumulated vsize: 2144172 KiB Current children cumulated memory: 117076 KiB [startup+23.6003 s] /proc/loadavg: 1.77 1.95 2.02 3/200 16102 /proc/meminfo: memFree=31523420/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2144172 memory=117076 CPUtime=23.57 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 108812 0 0 0 2338 19 0 0 20 0 1 0 408603344 2195632128 29269 33554432000 4194304 5870510 140722041155616 140722041153976 5282505 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 536043 29269 978 410 0 531516 0 Current children cumulated CPU time: 23.57 s Current children cumulated vsize: 2144172 KiB Current children cumulated memory: 117076 KiB [startup+24.0003 s]* /proc/loadavg: 1.71 1.94 2.02 3/200 16102 /proc/meminfo: memFree=31516780/32770624 swapFree=66993492/67108860 [pid=16037] ppid=16034 vsize=2144172 memory=117076 CPUtime=23.98 cores=1,3,5,7 /proc/16037/stat : 16037 (xcsp_picat) R 16034 16037 15976 0 -1 4202496 108812 0 0 0 2379 19 0 0 20 0 1 0 408603344 2195632128 29269 33554432000 4194304 5870510 140722041155616 140722041153976 5282759 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 15392768 140722041160735 140722041160813 140722041160813 140722041163722 0 /proc/16037/statm: 536043 29269 978 410 0 531516 0 Current children cumulated CPU time: 23.98 s Current children cumulated vsize: 2144172 KiB Current children cumulated memory: 117076 KiB Child status: 0 Real time (s): 24.0515 CPU time (s): 24.0367 CPU user time (s): 23.8377 CPU system time (s): 0.199014 CPU usage (%): 99.9383 Max. virtual memory (cumulated for all children) (KiB): 2232644 Max. memory (cumulated for all children) (KiB): 195080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.8377 system time used= 0.199014 maximum resident set size= 197128 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108850 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= 9 involuntary context switches= 1018 # summary of solver processes directly reported to runsolver: # pid: 16037 # total CPU time (s): 24.0367 # total CPU user time (s): 23.8377 # total CPU system time (s): 0.199014 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.105181 second user time and 0.2291 second system time The end
Begin job on node102 at 2019-09-12 23:24:34 IDJOB=4395224 IDBENCH=120578 IDSOLVER=2844 FILE ID=node102/4395224-1568323519 RUNJOBID= node102-1568323474-16008 PBS_JOBID= 21701144 Free space on /tmp= 56900 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-05c.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395224-1568323519/watcher-4395224-1568323519 -o /tmp/evaluation-result-4395224-1568323519/solver-4395224-1568323519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4395224-1568323519.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c5949db6bfbca6a63c3d4670a37bb2f RANDOM SEED=758599520 node102.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 : 2668.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.13 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 : 2668.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.54 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 : 2668.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.13 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 : 2668.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.54 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 : 2668.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.13 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 : 2668.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.54 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 : 2668.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.13 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 : 2668.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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31759360 kB MemAvailable: 31921324 kB Buffers: 118436 kB Cached: 333408 kB SwapCached: 11256 kB Active: 209240 kB Inactive: 255360 kB Active(anon): 8832 kB Inactive(anon): 33380 kB Active(file): 200408 kB Inactive(file): 221980 kB Unevictable: 110460 kB Mlocked: 110460 kB SwapTotal: 67108860 kB SwapFree: 66993492 kB Dirty: 6720 kB Writeback: 0 kB AnonPages: 112696 kB Mapped: 31744 kB Shmem: 20536 kB Slab: 139592 kB SReclaimable: 110820 kB SUnreclaim: 28772 kB KernelStack: 3312 kB PageTables: 5648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 503932 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 56900 MiB End job on node102 at 2019-09-12 23:24:58