Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | ? (TO) | 253.026 | 254.862 |
Name | Fapp/Fapp-ext/ Fapp-ext-05-0350_c18.xml |
MD5SUM | 51b7f32ab0afbf3da7a228f765e579fa |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 521763735 |
Best CPU time to get the best result obtained on this benchmark | 2400.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7232 |
Number of constraints | 4665 |
Number of domains | 18 |
Minimum domain size | 1 |
Maximum domain size | 135 |
Distribution of domain sizes | [{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}] |
Minimum variable degree | 2 |
Maximum variable degree | 2178 |
Distribution of variable degrees | [{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}] |
Number of extensional constraints | 4665 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":4665}] |
Optimization problem | YES |
Type of objective | min SUM |
One s line expected
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 (14699 MiB free) memory of node 1: 16384 MiB (15559 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410007-1569836652/watcher-4410007-1569836652 -o /tmp/evaluation-result-4410007-1569836652/solver-4410007-1569836652 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569827265-24285 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410007-1569836652.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=26870, runsolver pid=26867 Current StackSize limit: 8192 KiB [startup+0.100165 s]* /proc/loadavg: 7.53 7.20 7.72 2/192 26871 /proc/meminfo: memFree=30943248/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=73428 memory=49392 CPUtime=0.1 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 12530 0 0 0 9 1 0 0 20 0 1 0 559918482 75190272 12348 33554432000 4194304 6211132 140727152849504 140727152846040 139638006320101 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 18357 12348 755 493 0 11662 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 73428 KiB Current children cumulated memory: 49392 KiB [startup+0.209463 s]* /proc/loadavg: 7.53 7.20 7.72 2/192 26871 /proc/meminfo: memFree=30882240/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=134412 memory=110376 CPUtime=0.21 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 27791 0 0 0 19 2 0 0 20 0 1 0 559918482 137637888 27594 33554432000 4194304 6211132 140727152849504 140727152846040 139638006320101 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 33603 27594 755 493 0 26908 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 134412 KiB Current children cumulated memory: 110376 KiB [startup+0.309428 s]* /proc/loadavg: 7.53 7.20 7.72 2/192 26871 /proc/meminfo: memFree=30825740/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=190104 memory=166148 CPUtime=0.31 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 41736 0 0 0 27 4 0 0 20 0 1 0 559918482 194666496 41537 33554432000 4194304 6211132 140727152849504 140727152846040 139638006780908 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 47559 41537 755 493 0 40864 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 190104 KiB Current children cumulated memory: 166148 KiB [startup+0.700374 s] /proc/loadavg: 7.53 7.20 7.72 2/192 26871 /proc/meminfo: memFree=30743528/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=311148 memory=286280 CPUtime=0.69 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 71928 0 0 0 62 7 0 0 20 0 1 0 559918482 318615552 71570 33554432000 4194304 6211132 140727152849504 140727152846040 5287016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 77787 71570 815 493 0 71092 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 311148 KiB Current children cumulated memory: 286280 KiB [startup+1.50037 s] /proc/loadavg: 7.53 7.20 7.72 2/192 26871 /proc/meminfo: memFree=30681132/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=363488 memory=333700 CPUtime=1.49 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 83917 0 0 0 140 9 0 0 20 0 1 0 559918482 372211712 83425 33554432000 4194304 6211132 140727152849504 140727152846776 5484878 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 90872 83425 815 493 0 84177 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 363488 KiB Current children cumulated memory: 333700 KiB [startup+3.10989 s] /proc/loadavg: 7.53 7.20 7.72 2/192 26871 /proc/meminfo: memFree=30514884/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=474708 memory=434928 CPUtime=3.1 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 115820 0 0 0 296 14 0 0 20 0 1 0 559918482 486100992 108732 33554432000 4194304 6211132 140727152849504 140727152846776 5816145 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 118677 108732 815 493 0 111982 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 474708 KiB Current children cumulated memory: 434928 KiB [startup+6.30037 s] /proc/loadavg: 7.09 7.11 7.69 2/192 26871 /proc/meminfo: memFree=30334892/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=691540 memory=632156 CPUtime=6.28 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 172722 0 0 0 607 21 0 0 20 0 1 0 559918482 708136960 158039 33554432000 4194304 6211132 140727152849504 140727152846776 5817158 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 172885 158039 815 493 0 166190 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 691540 KiB Current children cumulated memory: 632156 KiB [startup+12.7004 s] /proc/loadavg: 6.68 7.03 7.66 2/192 26873 /proc/meminfo: memFree=29994992/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=1136260 memory=1036856 CPUtime=12.69 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 283230 0 0 0 1235 34 0 0 20 0 1 0 559918482 1163530240 259214 33554432000 4194304 6211132 140727152849504 140727152846776 5250321 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 284065 259214 815 493 0 277370 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 1136260 KiB Current children cumulated memory: 1036856 KiB [startup+25.5003 s] /proc/loadavg: 5.42 6.73 7.55 2/192 26873 /proc/meminfo: memFree=29168912/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=2023048 memory=1845048 CPUtime=25.48 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 491671 0 0 0 2487 61 0 0 20 0 1 0 559918482 2071601152 461262 33554432000 4194304 6211132 140727152849504 140727152846776 5240361 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 505762 461262 815 493 0 499067 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 2023048 KiB Current children cumulated memory: 1845048 KiB [startup+51.1093 s] /proc/loadavg: 3.91 6.27 7.38 2/192 26873 /proc/meminfo: memFree=27516732/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=3807800 memory=3471348 CPUtime=51.07 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 901447 0 0 0 4995 112 0 0 20 0 1 0 559918482 3899187200 867837 33554432000 4194304 6211132 140727152849504 140727152846776 5484897 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 951950 867837 815 493 0 945255 0 Current children cumulated CPU time: 51.07 s Current children cumulated vsize: 3807800 KiB Current children cumulated memory: 3471348 KiB [startup+102.3 s] /proc/loadavg: 2.30 5.47 7.05 2/192 26878 /proc/meminfo: memFree=24259260/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=7387344 memory=6735372 CPUtime=102.25 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 1717452 0 0 0 10005 220 0 0 20 0 1 0 559918482 7564640256 1683843 33554432000 4194304 6211132 140727152849504 140727152846776 139638006320101 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 1846836 1683843 815 493 0 1840141 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 7387344 KiB Current children cumulated memory: 6735372 KiB [startup+162.3 s] /proc/loadavg: 1.48 4.66 6.67 2/191 26881 /proc/meminfo: memFree=20431488/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=11577636 memory=10557488 CPUtime=162.24 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 2672978 0 0 0 15886 338 0 0 20 0 1 0 559918482 11855499264 2639372 33554432000 4194304 6211132 140727152849504 140727152846776 139638022382720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 2894409 2639372 815 493 0 2887714 0 Current children cumulated CPU time: 162.24 s Current children cumulated vsize: 11577636 KiB Current children cumulated memory: 10557488 KiB [startup+222.3 s] /proc/loadavg: 1.18 3.99 6.32 2/191 26884 /proc/meminfo: memFree=16775928/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=15472432 memory=14201812 CPUtime=222.23 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 3581978 0 0 0 21767 456 0 0 20 0 1 0 559918482 15843770368 3550453 33554432000 4194304 6211132 140727152849504 140727152845000 139638022382720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 3868108 3550453 819 493 0 3861413 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 15472432 KiB Current children cumulated memory: 14201812 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 1.11 3.71 6.15 2/191 26887 /proc/meminfo: memFree=15029680/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=17279420 memory=15927336 CPUtime=251.92 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 4202496 4012185 0 0 0 24685 507 0 0 20 0 1 0 559918482 17694126080 3981834 33554432000 4194304 6211132 140727152849504 140727152846776 5484606 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 4319855 3981834 819 493 0 4313160 0 Current children cumulated CPU time: 251.92 s Current children cumulated vsize: 17279420 KiB Current children cumulated memory: 15927336 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) ??? end of watcher thread [startup+254.862 s] # the end of solver process 26870 was just reported to runsolver # cumulated CPU time of all completed processes: user=247.059 s, system=5.96659 s Solver just ended. Dumping a history of the last processes samples [startup+252.8 s] /proc/loadavg: 1.11 3.71 6.15 2/191 26887 /proc/meminfo: memFree=15029680/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=17279420 memory=15927336 CPUtime=251.96 cores=0-7 /proc/26870/stat : 26870 (cosoco) S 26867 26870 24258 0 -1 512 4012188 0 0 0 24689 507 0 0 20 0 1 0 559918482 17694126080 3981834 33554432000 4194304 6211132 140727152849504 140727152846776 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 4319855 3981834 819 493 0 4313160 0 Current children cumulated CPU time: 251.96 s Current children cumulated vsize: 17279420 KiB Current children cumulated memory: 15927336 KiB [startup+253.6 s] /proc/loadavg: 1.11 3.71 6.15 2/192 26888 /proc/meminfo: memFree=14768076/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=17279420 memory=15927336 CPUtime=252.09 cores=0-7 /proc/26870/stat : 26870 (cosoco) R 26867 26870 24258 0 -1 512 4012188 0 0 0 24699 510 0 0 20 0 1 0 559918482 17694126080 3981834 33554432000 4194304 6211132 140727152849504 140727152846776 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 4319855 3981834 819 493 0 4313160 0 Current children cumulated CPU time: 252.09 s Current children cumulated vsize: 17279420 KiB Current children cumulated memory: 15927336 KiB [startup+254 s]* /proc/loadavg: 1.11 3.71 6.15 2/192 26888 /proc/meminfo: memFree=14204256/32770624 swapFree=66999256/67108860 [pid=26870] ppid=26867 vsize=17279420 memory=15927336 CPUtime=252.16 cores=0-7 /proc/26870/stat : 26870 (cosoco) S 26867 26870 24258 0 -1 512 4012188 0 0 0 24705 511 0 0 20 0 1 0 559918482 17694126080 3981834 33554432000 4194304 6211132 140727152849504 140727152846776 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 38129664 140727152858134 140727152858226 140727152858226 140727152861134 0 /proc/26870/statm: 4319855 3981834 819 493 0 4313160 0 Current children cumulated CPU time: 252.16 s Current children cumulated vsize: 17279420 KiB Current children cumulated memory: 15927336 KiB Child ended because it received signal 9 (SIGKILL) Real time (s): 254.862 CPU time (s): 253.026 CPU user time (s): 247.059 CPU system time (s): 5.96659 CPU usage (%): 99.2796 Max. virtual memory (cumulated for all children) (KiB): 17279420 Max. memory (cumulated for all children) (KiB): 15927336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 247.059 system time used= 5.96659 maximum resident set size= 15927380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4012188 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= 103473 involuntary context switches= 285 # summary of solver processes directly reported to runsolver: # pid: 26870 # total CPU time (s): 253.026 # total CPU user time (s): 247.059 # total CPU system time (s): 5.96659 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.869388 second user time and 1.92808 second system time The end
Begin job on node103 at 2019-09-30 11:43:15 IDJOB=4410007 IDBENCH=141284 IDSOLVER=2878 FILE ID=node103/4410007-1569836652 RUNJOBID= node103-1569827265-24285 PBS_JOBID= 21705929 Free space on /tmp= 61460 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4410007-1569836652/watcher-4410007-1569836652 -o /tmp/evaluation-result-4410007-1569836652/solver-4410007-1569836652 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569827265-24285 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410007-1569836652.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa RANDOM SEED=615104358 node103.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.74 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.74 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.74 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.74 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: 30985008 kB MemAvailable: 31865016 kB Buffers: 183984 kB Cached: 1035656 kB SwapCached: 7000 kB Active: 918652 kB Inactive: 313904 kB Active(anon): 21144 kB Inactive(anon): 74244 kB Active(file): 897508 kB Inactive(file): 239660 kB Unevictable: 107704 kB Mlocked: 107704 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 586376 kB Writeback: 0 kB AnonPages: 115208 kB Mapped: 26632 kB Shmem: 73656 kB Slab: 146200 kB SReclaimable: 117352 kB SUnreclaim: 28848 kB KernelStack: 3360 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539036 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61064 MiB End job on node103 at 2019-09-30 11:47:30