Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PicatSAT 2018-06-15 | UNSAT | 109.213 | 109.215 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f12_c18.xml |
MD5SUM | 3a3bda421e3d420e405b4b910599d042 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.21246 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 32 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":17,"count":4},{"size":22,"count":10},{"size":27,"count":336},{"size":32,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4103}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4103 |
Distribution of constraint types | [{"type":"intension","count":4103}] |
Optimization problem | NO |
Type of objective |
109.18/109.21 c xcsp_picat version 2.4#4 (June 15, 2018) 109.18/109.21 s UNSATISFIABLE
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 (12950 MiB free) memory of node 1: 16384 MiB (15081 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293536-1532318643/watcher-4293536-1532318643 -o /tmp/evaluation-result-4293536-1532318643/solver-4293536-1532318643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6630 --watchdog 2580 xcsp_picat HOME/instance-4293536-1532318643.xml running on 4 cores: 0,2,4,6 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 Current StackSize limit: 8192 KiB solver pid=8961, runsolver pid=8958 [startup+0.100202 s]* /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28686520/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=111688 memory=22620 CPUtime=0.1 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 1764 0 0 0 10 0 0 0 20 0 1 0 49427519 114368512 5655 33554432000 4194304 5849740 140731246813824 140731246813824 5146087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 27922 5655 610 405 0 24866 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 111688 KiB Current children cumulated memory: 22620 KiB [startup+0.209905 s]* /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28659216/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=133340 memory=48372 CPUtime=0.21 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 2718 0 0 0 20 1 0 0 20 0 1 0 49427519 136540160 12093 33554432000 4194304 5849740 140731246813824 140731246813824 139843303636871 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 33335 12093 686 405 0 30279 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 133340 KiB Current children cumulated memory: 48372 KiB [startup+0.30958 s]* /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28659216/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=133340 memory=48372 CPUtime=0.31 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 2724 0 0 0 30 1 0 0 20 0 1 0 49427519 136540160 12093 33554432000 4194304 5849740 140731246813824 140731246813824 5534808 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 33335 12093 686 405 0 30279 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 133340 KiB Current children cumulated memory: 48372 KiB [startup+0.700332 s] /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28659216/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=133480 memory=48372 CPUtime=0.69 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 2752 0 0 0 68 1 0 0 20 0 1 0 49427519 136683520 12093 33554432000 4194304 5849740 140731246813824 140731246813824 139843303636871 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 33370 12093 686 405 0 30314 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 133480 KiB Current children cumulated memory: 48372 KiB [startup+1.50034 s] /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28658612/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=133736 memory=48896 CPUtime=1.49 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 2832 0 0 0 148 1 0 0 20 0 1 0 49427519 136945664 12224 33554432000 4194304 5849740 140731246813824 140731246812920 5534947 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 33434 12224 704 405 0 30378 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 133736 KiB Current children cumulated memory: 48896 KiB [startup+3.10905 s] /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28658240/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=134376 memory=49428 CPUtime=3.1 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 3056 0 0 0 309 1 0 0 20 0 1 0 49427519 137601024 12357 33554432000 4194304 5849740 140731246813824 140731246812920 5606222 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 33594 12357 704 405 0 30538 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 134376 KiB Current children cumulated memory: 49428 KiB [startup+6.30031 s] /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28656856/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=135400 memory=50452 CPUtime=6.3 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 3717 0 0 0 628 2 0 0 20 0 1 0 49427519 138649600 12613 33554432000 4194304 5849740 140731246813824 140731246812328 5518417 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 33850 12613 704 405 0 30794 0 Current children cumulated CPU time: 6.3 s Current children cumulated vsize: 135400 KiB Current children cumulated memory: 50452 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28654360/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=137960 memory=53012 CPUtime=12.69 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 5029 0 0 0 1266 3 0 0 20 0 1 0 49427519 141271040 13253 33554432000 4194304 5849740 140731246813824 140731246812920 5606176 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 34490 13253 704 405 0 31434 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 137960 KiB Current children cumulated memory: 53012 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.03 2.05 3/188 8962 /proc/meminfo: memFree=28653616/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=138984 memory=54036 CPUtime=25.49 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 6034 0 0 0 2544 5 0 0 20 0 1 0 49427519 142319616 13509 33554432000 4194304 5849740 140731246813824 140731246812920 5606191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 34746 13509 704 405 0 31690 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 138984 KiB Current children cumulated memory: 54036 KiB [startup+51.1092 s] /proc/loadavg: 2.00 2.02 2.05 3/188 8962 /proc/meminfo: memFree=28647560/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=145132 memory=60180 CPUtime=51.1 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 9573 0 0 0 5102 8 0 0 20 0 1 0 49427519 148615168 15045 33554432000 4194304 5849740 140731246813824 140731246812920 5606240 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 36283 15045 704 405 0 33227 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 145132 KiB Current children cumulated memory: 60180 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 8963 /proc/meminfo: memFree=28694232/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=224136 memory=139272 CPUtime=102.29 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 17812 0 0 0 10214 15 0 0 20 0 1 0 49427519 229515264 34818 33554432000 4194304 5849740 140731246813824 140731246812312 4211600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 56034 34818 733 405 0 52978 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 224136 KiB Current children cumulated memory: 139272 KiB [startup+109.215 s] # the end of solver process 8961 was just reported to runsolver # cumulated CPU time of all completed processes: user=109.049 s, system=0.163997 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+102.4 s] /proc/loadavg: 2.00 2.02 2.05 3/188 8963 /proc/meminfo: memFree=28694232/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=224136 memory=139272 CPUtime=102.39 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 17812 0 0 0 10224 15 0 0 20 0 1 0 49427519 229515264 34818 33554432000 4194304 5849740 140731246813824 140731246812312 4211681 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 56034 34818 733 405 0 52978 0 Current children cumulated CPU time: 102.39 s Current children cumulated vsize: 224136 KiB Current children cumulated memory: 139272 KiB [startup+105.6 s] /proc/loadavg: 2.00 2.02 2.05 3/188 8963 /proc/meminfo: memFree=28694232/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=224136 memory=139272 CPUtime=105.59 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 17812 0 0 0 10544 15 0 0 20 0 1 0 49427519 229515264 34818 33554432000 4194304 5849740 140731246813824 140731246812312 4211654 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 56034 34818 733 405 0 52978 0 Current children cumulated CPU time: 105.59 s Current children cumulated vsize: 224136 KiB Current children cumulated memory: 139272 KiB [startup+107.2 s] /proc/loadavg: 2.00 2.02 2.05 3/188 8963 /proc/meminfo: memFree=28694232/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=224136 memory=139272 CPUtime=107.19 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 17812 0 0 0 10704 15 0 0 20 0 1 0 49427519 229515264 34818 33554432000 4194304 5849740 140731246813824 140731246812312 4211607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 56034 34818 733 405 0 52978 0 Current children cumulated CPU time: 107.19 s Current children cumulated vsize: 224136 KiB Current children cumulated memory: 139272 KiB [startup+108 s]* /proc/loadavg: 2.00 2.02 2.05 3/188 8963 /proc/meminfo: memFree=28694232/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=224136 memory=139272 CPUtime=108 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 17812 0 0 0 10785 15 0 0 20 0 1 0 49427519 229515264 34818 33554432000 4194304 5849740 140731246813824 140731246812312 4211681 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 56034 34818 733 405 0 52978 0 Current children cumulated CPU time: 108 s Current children cumulated vsize: 224136 KiB Current children cumulated memory: 139272 KiB [startup+108.8 s] /proc/loadavg: 2.00 2.02 2.05 3/188 8963 /proc/meminfo: memFree=28694232/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=224136 memory=139272 CPUtime=108.79 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 17812 0 0 0 10864 15 0 0 20 0 1 0 49427519 229515264 34818 33554432000 4194304 5849740 140731246813824 140731246812312 5316989 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 56034 34818 733 405 0 52978 0 Current children cumulated CPU time: 108.79 s Current children cumulated vsize: 224136 KiB Current children cumulated memory: 139272 KiB [startup+109.2 s] /proc/loadavg: 2.00 2.02 2.05 3/188 8963 /proc/meminfo: memFree=28694232/32770624 swapFree=67108796/67108860 [pid=8961] ppid=8958 vsize=224136 memory=139272 CPUtime=109.18 cores=0,2,4,6 /proc/8961/stat : 8961 (xcsp_picat) R 8958 8961 6599 0 -1 4202496 17812 0 0 0 10903 15 0 0 20 0 1 0 49427519 229515264 34818 33554432000 4194304 5849740 140731246813824 140731246812824 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 22917120 140731246818486 140731246818564 140731246818564 140731246821322 0 /proc/8961/statm: 56034 34818 733 405 0 52978 0 Current children cumulated CPU time: 109.18 s Current children cumulated vsize: 224136 KiB Current children cumulated memory: 139272 KiB Child status: 0 Real time (s): 109.215 CPU time (s): 109.213 CPU user time (s): 109.049 CPU system time (s): 0.163997 CPU usage (%): 99.9981 Max. virtual memory (cumulated for all children) (KiB): 224136 Max. memory (cumulated for all children) (KiB): 139272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 109.049 system time used= 0.163997 maximum resident set size= 139324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17934 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= 2 involuntary context switches= 45 # summary of solver processes directly reported to runsolver: # pid: 8961 # total CPU time (s): 109.213 # total CPU user time (s): 109.049 # total CPU system time (s): 0.163997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.440412 second user time and 0.746348 second system time The end
Begin job on node138 at 2018-07-23 06:04:04 IDJOB=4293536 IDBENCH=141186 IDSOLVER=2754 FILE ID=node138/4293536-1532318643 RUNJOBID= node138-1532297650-6630 PBS_JOBID= 21018993 Free space on /tmp= 59108 MiB SOLVER NAME= PicatSAT 2018-06-15 BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f12_c18.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293536-1532318643/watcher-4293536-1532318643 -o /tmp/evaluation-result-4293536-1532318643/solver-4293536-1532318643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6630 --watchdog 2580 xcsp_picat HOME/instance-4293536-1532318643.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3a3bda421e3d420e405b4b910599d042 RANDOM SEED=1710783330 node138.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.71 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.55 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.71 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.55 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.71 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.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 : 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.71 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28704944 kB MemAvailable: 31666596 kB Buffers: 112376 kB Cached: 3108876 kB SwapCached: 44 kB Active: 1479072 kB Inactive: 2105380 kB Active(anon): 305296 kB Inactive(anon): 76888 kB Active(file): 1173776 kB Inactive(file): 2028492 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 3112 kB Writeback: 0 kB AnonPages: 369996 kB Mapped: 34048 kB Shmem: 16972 kB Slab: 178680 kB SReclaimable: 150440 kB SUnreclaim: 28240 kB KernelStack: 3376 kB PageTables: 6056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 743480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 194560 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 59104 MiB End job on node138 at 2018-07-23 06:05:53