0.00/0.09 c AllEqual constraint using 99 generic x=y constraints
0.81/0.93 c SAT : Variables: 50000 -- Clauses: 12475100
0.81/0.93 c root propagations : 0
0.81/0.93 c restarts enabled, print stats at every restarts
0.81/0.93 c
0.81/0.93 c
0.81/0.93 c
0.81/0.93 c This is cosoco 1.12 --
0.81/0.93 c
0.81/0.93 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266041-1502591279.xml
0.81/0.93 c ========================================[ Problem Statistics ]===========================================
0.81/0.93 c |
0.81/0.93 c | Parse time : 0.72 s
0.81/0.93 c |
0.81/0.93 c | Variables: 100
0.81/0.93 c | Domain Sizes: 500..500
0.81/0.93 c |
0.81/0.93 c | Constraints: 100
0.81/0.93 c | Arity: 2..2 -- Binary: 100
0.81/0.93 c |
0.81/0.93 c | Types:
0.81/0.93 c | (X = Y): 99
0.81/0.93 c | Intension: 1
0.81/0.93 c |
0.81/0.93 c =========================================================================================================
0.81/0.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.81/0.93 c 10 10 1120 6000 1 9 1 1 0
0.81/0.93 c 20 20 2140 12000 1 18 1 1 0
0.81/0.93 c 30 30 3160 18000 1 27 1 1 0
0.81/0.93 c 40 40 4180 24000 1 36 1 1 0
0.81/0.93 c 50 50 5200 30000 1 45 1 1 0
0.81/0.93 c 60 60 6220 36000 1 54 1 1 0
0.81/0.93 c 70 70 7240 42000 1 63 1 1 0
0.81/0.93 c 80 80 8260 48000 1 72 1 1 0
0.81/0.93 c 90 90 9280 54000 1 81 1 1 0
0.81/0.94 c 100 100 10300 60000 1 90 1 1 0
0.81/0.94 c 101 101 10402 60600 1 90 1 1 0
0.81/0.94 c 110 110 11320 66000 1 98 1 1 0
0.81/0.94 c 120 120 12340 72000 1 107 1 1 0
0.81/0.94 c 130 130 13360 78000 1 116 1 1 0
0.81/0.94 c 140 140 14380 84000 1 125 1 1 0
0.81/0.94 c 150 150 15400 90000 1 134 1 1 0
0.81/0.94 c 160 160 16420 96000 1 143 1 1 0
0.81/0.94 c 170 170 17440 102000 1 152 1 1 0
0.81/0.94 c 180 180 18460 108000 1 161 1 1 0
0.81/0.94 c 190 190 19480 114000 1 170 1 1 0
0.81/0.94 c 200 200 20500 120000 1 179 1 1 0
0.81/0.94 c 210 210 21520 126000 1 188 1 1 0
0.81/0.94 c 211 211 21622 126600 1 188 1 1 0
0.81/0.94 c 220 220 22540 132000 1 196 1 1 0
0.81/0.94 c 230 230 23560 138000 1 205 1 1 0
0.81/0.94 c 240 240 24580 144000 1 214 1 1 0
0.81/0.94 c 250 250 25600 150000 1 223 1 1 0
0.81/0.95 c 260 260 26620 156000 1 232 1 1 0
0.81/0.95 c 270 270 27640 162000 1 241 1 1 0
0.81/0.95 c 280 280 28660 168000 1 250 1 1 0
0.81/0.95 c 290 290 29680 174000 1 259 1 1 0
0.81/0.95 c 300 300 30700 180000 1 268 1 1 0
0.81/0.95 c 310 310 31720 186000 1 277 1 1 0
0.81/0.95 c 320 320 32740 192000 1 286 1 1 0
0.81/0.95 c 330 330 33760 198000 1 295 1 1 0
0.81/0.95 c 332 332 33964 199200 1 296 1 1 0
0.81/0.95 c 340 340 34780 204000 1 303 1 1 0
0.81/0.95 c 350 350 35800 210000 1 312 1 1 0
0.81/0.95 c 360 360 36820 216000 1 321 1 1 0
0.81/0.95 c 370 370 37840 222000 1 330 1 1 0
0.81/0.95 c 380 380 38860 228000 1 339 1 1 0
0.81/0.96 c 390 390 39880 234000 1 348 1 1 0
0.81/0.96 c 400 400 40900 240000 1 357 1 1 0
0.81/0.96 c 410 410 41920 246000 1 366 1 1 0
0.81/0.96 c 420 420 42940 252000 1 375 1 1 0
0.81/0.96 c 430 430 43960 258000 1 384 1 1 0
0.81/0.96 c 440 440 44980 264000 1 393 1 1 0
0.81/0.96 c 450 450 46000 270000 1 402 1 1 0
0.81/0.96 c 460 460 47020 276000 1 411 1 1 0
0.81/0.96 c 465 465 47530 279000 1 415 1 1 0
0.81/0.96 c 470 470 48040 282000 1 419 1 1 0
0.81/0.96 c 480 480 49060 288000 1 428 1 1 0
0.81/0.96 c 490 490 50090 290117 2 437 1 1 0
0.81/0.97 c solution 1
0.81/0.97
0.81/0.97 v <instantiation type='solution'>
0.81/0.97 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list>
0.81/0.97 v <values>499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 499 </values>
0.81/0.97 v </instantiation>
0.81/0.97
0.81/0.97 c restarts : 53
0.81/0.97 c conflicts : 498 (654 /sec)
0.81/0.97 c decisions : 598 (785 /sec)
0.81/0.97 c propagations : 291168 (382173 /sec)
0.81/0.97 c root propagations : 0
0.81/0.97 c filter calls : 51213 (67220 /sec)
0.81/0.97 c useless filter calls : 1296 (2 %)
0.81/0.97 c
0.81/0.97 c clauses : 12475100
0.81/0.97 c SAT propagations : 0
0.81/0.97 c SAT conflicts : 0 (0 learnts)
0.81/0.97 c Memory used : 544.23 MB
0.81/0.97 c CPU time : 0.761875 s
0.81/0.97
0.81/0.97 s SATISFIABLE
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 (15310 MiB free)
memory of node 1: 16384 MiB (15623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266041-1502591279/watcher-4266041-1502591279 -o /tmp/evaluation-result-4266041-1502591279/solver-4266041-1502591279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266041-1502591279.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
Current StackSize limit: 8192 KiB
solver pid=8360, runsolver pid=8357
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 8361
/proc/meminfo: memFree=31670272/32770624 swapFree=67108764/67108860
[pid=8360] ppid=8357 vsize=38388 memory=14264 CPUtime=0.01 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 4674 0 -1 4202496 3238 0 0 0 1 0 0 0 20 0 1 0 106634325 39309312 3566 18446744073709551615 4194304 5972588 140728332782704 140728332779352 5276613 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 16224256 140728332788164 140728332788264 140728332788264 140728332791758 0
/proc/8360/statm: 9597 3566 813 435 0 2960 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 38388 KiB
Current children cumulated memory: 14264 KiB
[startup+0.209726 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 8361
/proc/meminfo: memFree=31605900/32770624 swapFree=67108764/67108860
[pid=8360] ppid=8357 vsize=104736 memory=79816 CPUtime=0.13 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 4674 0 -1 4202496 15015 0 0 0 11 2 0 0 20 0 1 0 106634325 107249664 19954 18446744073709551615 4194304 5972588 140728332782704 140728332779352 140007348440037 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 16224256 140728332788164 140728332788264 140728332788264 140728332791758 0
/proc/8360/statm: 26184 19954 813 435 0 19547 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 104736 KiB
Current children cumulated memory: 79816 KiB
[startup+0.309783 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 8361
/proc/meminfo: memFree=31547104/32770624 swapFree=67108764/67108860
[pid=8360] ppid=8357 vsize=195080 memory=138476 CPUtime=0.22 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 4674 0 -1 4202496 24562 0 0 0 19 3 0 0 20 0 1 0 106634325 199761920 34619 18446744073709551615 4194304 5972588 140728332782704 140728332779352 140007348440037 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 16224256 140728332788164 140728332788264 140728332788264 140728332791758 0
/proc/8360/statm: 48770 34619 813 435 0 42133 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 195080 KiB
Current children cumulated memory: 138476 KiB
[startup+0.700382 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8361
/proc/meminfo: memFree=31426460/32770624 swapFree=67108764/67108860
[pid=8360] ppid=8357 vsize=465836 memory=366240 CPUtime=0.6 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 4674 0 -1 4202496 55453 0 0 0 52 8 0 0 20 0 1 0 106634325 477016064 91560 18446744073709551615 4194304 5972588 140728332782704 140728332779352 140007348440037 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 16224256 140728332788164 140728332788264 140728332788264 140728332791758 0
/proc/8360/statm: 116459 91560 813 435 0 109822 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 465836 KiB
Current children cumulated memory: 366240 KiB
[startup+0.997129 s]
# the end of solver process 8360 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.762633 s, system=0.148123 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800418 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8361
/proc/meminfo: memFree=31426460/32770624 swapFree=67108764/67108860
[pid=8360] ppid=8357 vsize=497344 memory=423952 CPUtime=0.71 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 4674 0 -1 4202496 63270 0 0 0 61 10 0 0 20 0 1 0 106634325 509280256 105988 18446744073709551615 4194304 5972588 140728332782704 140728332779352 140007348440037 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 16224256 140728332788164 140728332788264 140728332788264 140728332791758 0
/proc/8360/statm: 124336 105988 813 435 0 117699 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 497344 KiB
Current children cumulated memory: 423952 KiB
[startup+0.900344 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8361
/proc/meminfo: memFree=31426460/32770624 swapFree=67108764/67108860
[pid=8360] ppid=8357 vsize=547188 memory=486316 CPUtime=0.81 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 4674 0 -1 4202496 71120 0 0 0 69 12 0 0 20 0 1 0 106634325 560320512 121513 18446744073709551615 4194304 5972588 140728332782704 140728332779496 140007348440037 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 16224256 140728332788164 140728332788264 140728332788264 140728332791758 0
/proc/8360/statm: 136797 121513 813 435 0 130160 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 547188 KiB
Current children cumulated memory: 486316 KiB
Child status: 0
Real time (s): 0.997179
CPU time (s): 0.910756
CPU user time (s): 0.762633
CPU system time (s): 0.148123
CPU usage (%): 91.3333
Max. virtual memory (cumulated for all children) (KiB): 547188
Max. memory (cumulated for all children) (KiB): 486316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.762633
system time used= 0.148123
maximum resident set size= 503000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73790
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= 2
# summary of solver processes directly reported to runsolver:
# pid: 8360
# total CPU time (s): 0.910756
# total CPU user time (s): 0.762633
# total CPU system time (s): 0.148123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029631 second user time and 0.043936 second system time
The end
Begin job on node134 at 2017-08-13 04:14:05
IDJOB=4266041
IDBENCH=138739
IDSOLVER=2655
FILE ID=node134/4266041-1502591279
RUNJOBID= node134-1502565207-4738
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-100-500.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266041-1502591279/watcher-4266041-1502591279 -o /tmp/evaluation-result-4266041-1502591279/solver-4266041-1502591279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266041-1502591279.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 7044d68d6214da7da3276e5f7be25845
RANDOM SEED=1452046219
node134.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.43
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.43
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.43
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.43
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: 31676792 kB
MemAvailable: 31959260 kB
Buffers: 214440 kB
Cached: 366416 kB
SwapCached: 4 kB
Active: 411060 kB
Inactive: 242200 kB
Active(anon): 19256 kB
Inactive(anon): 94712 kB
Active(file): 391804 kB
Inactive(file): 147488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108764 kB
Dirty: 2556 kB
Writeback: 4 kB
AnonPages: 72464 kB
Mapped: 56752 kB
Shmem: 41564 kB
Slab: 144024 kB
SReclaimable: 118024 kB
SUnreclaim: 26000 kB
KernelStack: 3296 kB
PageTables: 4952 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 355860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 354332 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 101760 kB
DirectMap2M: 33443840 kB
Free space on /tmp at the end= 62024 MiB
End job on node134 at 2017-08-13 04:14:06