0.00/0.00 c root propagations : 9
0.00/0.00 c restarts enabled, print stats at every restarts
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396695-1568585720.xml
0.00/0.00 c ========================================[ Problem Statistics ]===========================================
0.00/0.00 c |
0.00/0.00 c | Parse time : 0.00 s
0.00/0.00 c |
0.00/0.00 c | Variables: 49
0.00/0.00 c | Domain Sizes: 37..37
0.00/0.00 c |
0.00/0.00 c | Constraints: 28
0.00/0.00 c | Arity: 2..37 -- Binary: 6
0.00/0.00 c |
0.00/0.00 c | Types:
0.00/0.00 c | (X - Y < k): 6
0.00/0.00 c | All Different: 1
0.00/0.00 c | Sum: 21
0.00/0.00 c |
0.00/0.00 c =========================================================================================================
0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.00 c remove useless variable x[0][4]
0.00/0.00 c remove useless variable x[0][5]
0.00/0.00 c remove useless variable x[0][6]
0.00/0.00 c remove useless variable x[1][5]
0.00/0.00 c remove useless variable x[1][6]
0.00/0.00 c remove useless variable x[2][6]
0.00/0.00 c remove useless variable x[4][6]
0.00/0.00 c remove useless variable x[5][5]
0.00/0.00 c remove useless variable x[5][6]
0.00/0.00 c remove useless variable x[6][4]
0.00/0.00 c remove useless variable x[6][5]
0.00/0.00 c remove useless variable x[6][6]
0.00/0.01 c 101 157 7641 20436 6 0 5 21 18
0.00/0.03 c 211 285 15661 49989 6 0 6 10 9
0.00/0.04 c 332 477 25168 80828 6 0 11 15 12
0.00/0.05 c 465 704 32872 105068 6 0 8 25 20
0.00/0.07 c 611 970 42408 128889 6 0 16 21 18
0.00/0.08 c 771 1270 51216 155757 6 0 16 24 21
0.10/0.11 c 947 1615 63851 195156 6 0 18 24 21
0.10/0.13 c 1140 1985 77980 239101 6 0 14 24 21
0.10/0.15 c 1352 2514 90056 278626 6 0 17 28 23
0.10/0.18 c 1585 2964 103117 321519 6 0 17 24 20
0.10/0.21 c 1841 3543 119506 371392 6 0 14 26 22
0.21/0.24 c 2122 4163 137169 440630 6 0 16 27 23
0.21/0.28 c 2431 4812 158564 516539 6 0 17 28 22
0.31/0.33 c 2770 5456 184796 597378 6 0 17 27 21
0.31/0.38 c 3142 6111 209031 691528 6 0 19 26 23
0.41/0.43 c 3551 6751 238270 766796 6 0 14 25 22
0.41/0.49 c 4000 7660 266016 870024 6 0 17 27 23
0.51/0.56 c 4493 8504 302041 1004289 6 0 14 25 20
0.60/0.63 c 5035 9673 340818 1135587 6 0 17 28 22
0.69/0.70 c 5631 10819 374104 1297603 6 0 17 26 22
0.69/0.77 c 6286 12090 413919 1459738 6 0 15 26 22
0.79/0.87 c 7006 13671 463737 1661313 6 0 11 27 22
0.89/0.97 c 7798 15293 511727 1843621 6 0 13 28 24
1.00/1.09 c 8669 16818 576387 2084735 6 0 12 26 20
1.10/1.20 c 9627 18770 630628 2291628 6 0 12 26 23
1.29/1.34 c 10680 20831 710769 2560023 6 0 13 25 20
1.49/1.50 c 11838 23008 793194 2832492 6 0 11 26 20
1.59/1.65 c 13111 25515 868134 3105429 6 0 17 28 23
1.79/1.83 c 14511 28374 960265 3441033 6 0 15 27 22
2.00/2.02 c 16051 31138 1054367 3839017 6 0 11 28 23
2.19/2.27 c 17745 33952 1181673 4331399 6 0 12 26 20
2.49/2.51 c 19608 37539 1299442 4848663 6 0 18 27 22
2.69/2.77 c 21657 42130 1431427 5346693 6 0 8 28 23
3.00/3.05 c 23910 46489 1571321 5908828 6 0 15 27 21
3.29/3.38 c 26388 51149 1733682 6527871 6 0 16 26 22
3.69/3.72 c 29113 55884 1901935 7300133 6 0 17 27 22
4.10/4.13 c 32110 61654 2107328 8079501 6 0 16 26 22
4.49/4.58 c 35406 67058 2348814 8978008 6 0 8 22 17
4.59/4.60 c First solution is found
4.59/4.60 s SATISFIABLE
4.59/4.60 c restarts : 38
4.59/4.60 c conflicts : 35523 (7711 /sec)
4.59/4.60 c decisions : 67390 (14629 /sec)
4.59/4.60 c propagations : 9005374 (1954827 /sec)
4.59/4.60 c root propagations : 9
4.59/4.60 c filter calls : 2359231 (512126 /sec)
4.59/4.60 c useless filter calls : 1064424 (45 %)
4.59/4.60 c Memory used : 26.72 MB
4.59/4.60 c CPU time : 4.60674 s
4.59/4.60 c real time : 4.60575 s
4.59/4.60
4.59/4.60 c solution 1
4.59/4.60
4.59/4.60 v <instantiation type='solution'>
4.59/4.60 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] </list>
4.59/4.60 v <values>-17 16 17 -16 * * * -1 -8 -5 8 6 * * 3 4 -10 5 -12 10 * 15 -9 11 7 -18 -6 0 -3 -15 -2 14 13 -7 * 2 12 1 -4 -11 * * -14 9 -13 18 * * * </values>
4.59/4.60 v </instantiation>
4.59/4.60
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 (13779 MiB free)
memory of node 1: 16384 MiB (14186 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396695-1568585720/watcher-4396695-1568585720 -o /tmp/evaluation-result-4396695-1568585720/solver-4396695-1568585720 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568572744-4122 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396695-1568585720.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=6339, runsolver pid=6336
[startup+0.100149 s]*
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636964/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3812 CPUtime=0.1 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1160 0 0 0 10 0 0 0 20 0 1 0 434512168 28012544 953 33554432000 4194304 6211092 140722244096624 140722244093160 5074670 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 953 850 493 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3812 KiB
[startup+0.209529 s]*
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636884/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3812 CPUtime=0.21 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1160 0 0 0 21 0 0 0 20 0 1 0 434512168 28012544 953 33554432000 4194304 6211092 140722244096624 140722244094584 5074403 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 953 850 493 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3812 KiB
[startup+0.309063 s]*
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636884/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3812 CPUtime=0.31 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1160 0 0 0 31 0 0 0 20 0 1 0 434512168 28012544 953 33554432000 4194304 6211092 140722244096624 140722244094584 5081194 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 953 850 493 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3812 KiB
[startup+0.700266 s]
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636884/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3812 CPUtime=0.69 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1160 0 0 0 69 0 0 0 20 0 1 0 434512168 28012544 953 33554432000 4194304 6211092 140722244096624 140722244094584 5186269 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 953 850 493 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3812 KiB
[startup+1.50032 s]
/proc/loadavg: 1.94 2.07 2.07 4/200 6340
/proc/meminfo: memFree=28636348/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3812 CPUtime=1.49 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1160 0 0 0 149 0 0 0 20 0 1 0 434512168 28012544 953 33554432000 4194304 6211092 140722244096624 140722244094584 5149700 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 953 850 493 0 144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3812 KiB
[startup+3.10917 s]
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636412/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3992 CPUtime=3.1 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1203 0 0 0 310 0 0 0 20 0 1 0 434512168 28012544 998 33554432000 4194304 6211092 140722244096624 140722244094584 5075237 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 998 892 493 0 144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB
[startup+4.60939 s]
# the end of solver process 6339 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.60674 s, system=0.003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20028 s]
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636412/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3992 CPUtime=3.19 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1203 0 0 0 319 0 0 0 20 0 1 0 434512168 28012544 998 33554432000 4194304 6211092 140722244096624 140722244094584 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 998 892 493 0 144 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB
[startup+4.00025 s]*
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636420/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3992 CPUtime=4 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1203 0 0 0 400 0 0 0 20 0 1 0 434512168 28012544 998 33554432000 4194304 6211092 140722244096624 140722244094584 5075587 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 998 892 493 0 144 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB
[startup+4.40025 s]
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636420/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3992 CPUtime=4.39 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1203 0 0 0 439 0 0 0 20 0 1 0 434512168 28012544 998 33554432000 4194304 6211092 140722244096624 140722244094584 5148679 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 998 892 493 0 144 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB
[startup+4.60024 s]
/proc/loadavg: 1.94 2.07 2.07 3/200 6340
/proc/meminfo: memFree=28636420/32770624 swapFree=66959728/67108860
[pid=6339] ppid=6336 vsize=27356 memory=3992 CPUtime=4.59 cores=1,3,5,7
/proc/6339/stat : 6339 (cosoco) R 6336 6339 4090 0 -1 4202496 1203 0 0 0 459 0 0 0 20 0 1 0 434512168 28012544 998 33554432000 4194304 6211092 140722244096624 140722244094584 5081345 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35536896 140722244105227 140722244105329 140722244105329 140722244108238 0
/proc/6339/statm: 6839 998 892 493 0 144 0
Current children cumulated CPU time: 4.59 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB
Child status: 0
Real time (s): 4.60943
CPU time (s): 4.60974
CPU user time (s): 4.60674
CPU system time (s): 0.003
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27356
Max. memory (cumulated for all children) (KiB): 3992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.60674
system time used= 0.003
maximum resident set size= 4060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1244
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= 4
# summary of solver processes directly reported to runsolver:
# pid: 6339
# total CPU time (s): 4.60974
# total CPU user time (s): 4.60674
# total CPU system time (s): 0.003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030995 second user time and 0.078521 second system time
The end
Begin job on node124 at 2019-09-16 00:14:40
IDJOB=4396695
IDBENCH=133653
IDSOLVER=2848
FILE ID=node124/4396695-1568585720
RUNJOBID= node124-1568572744-4122
PBS_JOBID= 21703326
Free space on /tmp= 61808 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-04-m018.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396695-1568585720/watcher-4396695-1568585720 -o /tmp/evaluation-result-4396695-1568585720/solver-4396695-1568585720 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568572744-4122 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396695-1568585720.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e1b631bab6f8bd4ad65377e678a0b81e
RANDOM SEED=1928588388
node124.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.47
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.47
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.47
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.47
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: 28636404 kB
MemAvailable: 31835716 kB
Buffers: 210996 kB
Cached: 3276724 kB
SwapCached: 46376 kB
Active: 1006228 kB
Inactive: 2540428 kB
Active(anon): 9280 kB
Inactive(anon): 99220 kB
Active(file): 996948 kB
Inactive(file): 2441208 kB
Unevictable: 106524 kB
Mlocked: 106524 kB
SwapTotal: 67108860 kB
SwapFree: 66959728 kB
Dirty: 2728 kB
Writeback: 0 kB
AnonPages: 120396 kB
Mapped: 48988 kB
Shmem: 40944 kB
Slab: 183908 kB
SReclaimable: 153984 kB
SUnreclaim: 29924 kB
KernelStack: 3568 kB
PageTables: 5820 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 540520 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: 112000 kB
DirectMap2M: 33433600 kB
Free space on /tmp at the end= 61808 MiB
End job on node124 at 2019-09-16 00:14:45