Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | ? (MO) | 15.232 | 15.2554 |
Name | Sat/Sat-xcsp2-bmc/ bmc-ibm-4-02_X2.xml |
MD5SUM | 5d31e39470d1d48f33dd53d9de16f30b |
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 | 35.597 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 28161 |
Number of constraints | 167877 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":28161}] |
Minimum variable degree | 3 |
Maximum variable degree | 551 |
Distribution of variable degrees | [{"degree":3,"count":49},{"degree":4,"count":12},{"degree":5,"count":532},{"degree":6,"count":3996},{"degree":7,"count":3982},{"degree":8,"count":3596},{"degree":9,"count":2312},{"degree":10,"count":1333},{"degree":11,"count":1831},{"degree":12,"count":1286},{"degree":13,"count":1464},{"degree":14,"count":1297},{"degree":15,"count":774},{"degree":16,"count":555},{"degree":17,"count":435},{"degree":18,"count":124},{"degree":19,"count":517},{"degree":20,"count":221},{"degree":21,"count":606},{"degree":22,"count":333},{"degree":23,"count":305},{"degree":24,"count":92},{"degree":25,"count":53},{"degree":26,"count":187},{"degree":27,"count":264},"...",{"degree":75,"count":21}, {"degree":76,"count":1}, {"degree":77,"count":20}, {"degree":78,"count":1}, {"degree":79,"count":20}, {"degree":85,"count":1}, {"degree":87,"count":1}, {"degree":96,"count":1}, {"degree":97,"count":19}, {"degree":100,"count":1}, {"degree":101,"count":17}, {"degree":107,"count":1}, {"degree":111,"count":3}, {"degree":112,"count":117}, {"degree":121,"count":3}, {"degree":162,"count":1}, {"degree":163,"count":16}, {"degree":223,"count":1}, {"degree":343,"count":1}, {"degree":469,"count":1}, {"degree":515,"count":1}, {"degree":537,"count":1}, {"degree":539,"count":1}, {"degree":550,"count":1}, {"degree":551,"count":16}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":28378},{"arity":2,"count":113419},{"arity":3,"count":9482},{"arity":4,"count":4277},{"arity":5,"count":4109},{"arity":6,"count":2594},{"arity":7,"count":1533},{"arity":8,"count":1225},{"arity":9,"count":794},{"arity":10,"count":476},{"arity":11,"count":680},{"arity":12,"count":318},{"arity":13,"count":164},{"arity":14,"count":67},{"arity":15,"count":24},{"arity":16,"count":24},{"arity":17,"count":48},{"arity":19,"count":24},{"arity":20,"count":48},{"arity":21,"count":48},{"arity":23,"count":48},{"arity":24,"count":48},{"arity":25,"count":48},{"arity":26,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 28378 |
Distribution of constraint types | [{"type":"intension","count":28378},{"type":"sum","count":139499}] |
Optimization problem | NO |
Type of objective |
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240678-1500626484/watcher-4240678-1500626484 -o /tmp/evaluation-result-4240678-1500626484/solver-4240678-1500626484 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3189 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240678-1500626484.xml pid=5412 running on 4 cores: 1,3,5,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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.34 2.11 1.94 2/188 5415 /proc/meminfo: memFree=31486032/32770624 swapFree=7224/442828 [pid=5415] ppid=5412 vsize=27344 CPUtime=0 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 1042 0 0 0 0 0 0 0 20 0 1 0 15924815 28000256 857 33554432000 4194304 5970956 140732598817568 140732598814216 140201832201189 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 6836 857 698 434 0 200 0 [startup+0.100114 s] /proc/loadavg: 2.34 2.11 1.94 2/188 5415 /proc/meminfo: memFree=31486032/32770624 swapFree=7224/442828 [pid=5415] ppid=5412 vsize=30964 CPUtime=0.09 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 1937 0 0 0 9 0 0 0 20 0 1 0 15924815 31707136 1729 33554432000 4194304 5970956 140732598817568 140732598812904 140201832201189 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 7741 1729 698 434 0 1105 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30964 [startup+0.200282 s] /proc/loadavg: 2.34 2.11 1.94 2/188 5415 /proc/meminfo: memFree=31486032/32770624 swapFree=7224/442828 [pid=5415] ppid=5412 vsize=60296 CPUtime=0.19 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 9272 0 0 0 18 1 0 0 20 0 1 0 15924815 61743104 9086 33554432000 4194304 5970956 140732598817568 140732598811432 140201832249248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 15074 9086 735 434 0 8438 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 60296 [startup+0.300312 s] /proc/loadavg: 2.34 2.11 1.94 2/188 5415 /proc/meminfo: memFree=31486032/32770624 swapFree=7224/442828 [pid=5415] ppid=5412 vsize=197236 CPUtime=0.29 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 43515 0 0 0 24 5 0 0 20 0 1 0 15924815 201969664 43340 33554432000 4194304 5970956 140732598817568 140732598811432 140201833056691 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 49344 43340 735 434 0 42708 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 197236 [startup+0.700251 s] /proc/loadavg: 2.34 2.11 1.94 2/188 5415 /proc/meminfo: memFree=31486032/32770624 swapFree=7224/442828 [pid=5415] ppid=5412 vsize=722032 CPUtime=0.69 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 174725 0 0 0 47 22 0 0 20 0 1 0 15924815 739360768 174548 33554432000 4194304 5970956 140732598817568 140732598811432 140201832201189 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 180563 174548 735 434 0 173927 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 722032 [startup+1.50023 s] /proc/loadavg: 2.34 2.11 1.94 3/189 5416 /proc/meminfo: memFree=30266780/32770624 swapFree=7224/442616 [pid=5415] ppid=5412 vsize=1764892 CPUtime=1.49 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 435460 0 0 0 96 53 0 0 20 0 1 0 15924815 1807249408 435221 33554432000 4194304 5970956 140732598817568 140732598812184 140201832249248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 441223 435221 735 434 0 434587 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1764892 [startup+3.10025 s] /proc/loadavg: 2.34 2.11 1.94 3/189 5416 /proc/meminfo: memFree=28820064/32770624 swapFree=7224/442616 [pid=5415] ppid=5412 vsize=3854384 CPUtime=3.09 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 958469 0 0 0 188 121 0 0 20 0 1 0 15924815 3946889216 957591 33554432000 4194304 5970956 140732598817568 140732598812072 140201832249248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 963596 957591 735 434 0 956960 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3854384 [startup+6.30025 s] /proc/loadavg: 2.32 2.10 1.94 3/189 5416 /proc/meminfo: memFree=24519656/32770624 swapFree=7224/442628 [pid=5415] ppid=5412 vsize=8022164 CPUtime=6.29 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 2001985 0 0 0 385 244 0 0 20 0 1 0 15924815 8214695936 1999542 33554432000 4194304 5970956 140732598817568 140732598812184 140201832201189 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 2005541 1999542 735 434 0 1998905 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8022164 [startup+12.7002 s] /proc/loadavg: 2.29 2.10 1.94 3/188 5416 /proc/meminfo: memFree=15990736/32770624 swapFree=7224/442636 [pid=5415] ppid=5412 vsize=15562208 CPUtime=12.68 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 3889434 0 0 0 790 478 0 0 20 0 1 0 15924815 15935700992 3884311 33554432000 4194304 5970956 140732598817568 140732598811096 140201832249248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 3890552 3884311 790 434 0 3883916 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15562208 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+14.3003 s] /proc/loadavg: 2.27 2.10 1.95 3/188 5416 /proc/meminfo: memFree=15605652/32770624 swapFree=7224/442636 [pid=5415] ppid=5412 vsize=15877400 CPUtime=14.28 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4202496 3968283 0 0 0 942 486 0 0 20 0 1 0 15924815 16258457600 3963132 33554432000 4194304 5970956 140732598817568 140732598811096 5219354 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 31375360 140732598822081 140732598822211 140732598822211 140732598824910 0 /proc/5415/statm: 3969350 3963132 790 434 0 3962714 0 Current children cumulated CPU time (s) 14.28 Current children cumulated vsize (KiB) 15877400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5415 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+14.406 s] /proc/loadavg: 2.27 2.10 1.95 3/188 5416 /proc/meminfo: memFree=15605652/32770624 swapFree=7224/442636 [pid=5415] ppid=5412 vsize=0 CPUtime=14.38 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4203524 3968284 0 0 0 942 496 0 0 20 0 1 0 15924815 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/5415/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 14.38 Current children cumulated vsize (KiB) 0 [startup+14.8003 s] /proc/loadavg: 2.27 2.10 1.95 3/188 5416 /proc/meminfo: memFree=15605652/32770624 swapFree=7224/442636 [pid=5415] ppid=5412 vsize=0 CPUtime=14.77 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4203524 3968284 0 0 0 942 535 0 0 20 0 1 0 15924815 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/5415/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 14.77 Current children cumulated vsize (KiB) 0 [startup+15.2003 s] /proc/loadavg: 2.27 2.10 1.95 3/188 5416 /proc/meminfo: memFree=15605652/32770624 swapFree=7224/442636 [pid=5415] ppid=5412 vsize=0 CPUtime=15.16 cores=1,3,5,7 /proc/5415/stat : 5415 (cosoco) R 5412 5415 3157 0 -1 4203524 3968284 0 0 0 942 574 0 0 20 0 1 0 15924815 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/5415/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 15.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 15.2554 CPU time (s): 15.232 CPU user time (s): 9.42825 CPU system time (s): 5.80374 CPU usage (%): 99.8466 Max. virtual memory (cumulated for all children) (KiB): 15877400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.42825 system time used= 5.80374 maximum resident set size= 15852672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3968284 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= 6 involuntary context switches= 769 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.035504 second user time and 0.077002 second system time The end
Begin job on node126 at 2017-07-21 10:41:24 IDJOB=4240678 IDBENCH=123432 IDSOLVER=2620 FILE ID=node126/4240678-1500626484 RUNJOBID= node126-1500623778-3189 PBS_JOBID= 20623007 Free space on /tmp= 61972 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-4-02_X2.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240678-1500626484/watcher-4240678-1500626484 -o /tmp/evaluation-result-4240678-1500626484/solver-4240678-1500626484 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3189 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240678-1500626484.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5d31e39470d1d48f33dd53d9de16f30b RANDOM SEED=371608921 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 5334.03 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 : 2000.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 : 1600.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 : 5334.03 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 : 1733.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 : 1600.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 : 5334.03 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 : 1600.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 : 5334.03 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 : 1600.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: 31486560 kB MemAvailable: 31967292 kB Buffers: 156512 kB Cached: 604456 kB SwapCached: 0 kB Active: 409892 kB Inactive: 451676 kB Active(anon): 103348 kB Inactive(anon): 8848 kB Active(file): 306544 kB Inactive(file): 442828 kB Unevictable: 7224 kB Mlocked: 7224 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 17452 kB Writeback: 0 kB AnonPages: 62312 kB Mapped: 34312 kB Shmem: 8848 kB Slab: 119920 kB SReclaimable: 94388 kB SUnreclaim: 25532 kB KernelStack: 3600 kB PageTables: 5048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 375228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 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= 61972 MiB End job on node126 at 2017-07-21 10:41:39