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-4389415-1568341481.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.02 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.06 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.09 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.19 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.37 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 (7720 /sec)
4.59/4.60 c decisions : 67390 (14645 /sec)
4.59/4.60 c propagations : 9005374 (1957085 /sec)
4.59/4.60 c root propagations : 9
4.59/4.60 c filter calls : 2359231 (512718 /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.60138 s
4.59/4.60 c real time : 4.60212 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 (13998 MiB free)
memory of node 1: 16384 MiB (13743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389415-1568341481/watcher-4389415-1568341481 -o /tmp/evaluation-result-4389415-1568341481/solver-4389415-1568341481 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389415-1568341481.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
solver pid=6867, runsolver pid=6864
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407684/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3792 CPUtime=0.1 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1155 0 0 0 10 0 0 0 20 0 1 0 410416925 28012544 948 33554432000 4194304 6210612 140725473689040 140725473685576 5081376 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 948 845 493 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3792 KiB
[startup+0.209366 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407684/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3792 CPUtime=0.21 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1155 0 0 0 21 0 0 0 20 0 1 0 410416925 28012544 948 33554432000 4194304 6210612 140725473689040 140725473685576 5078380 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 948 845 493 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3792 KiB
[startup+0.30887 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407684/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3792 CPUtime=0.31 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1155 0 0 0 31 0 0 0 20 0 1 0 410416925 28012544 948 33554432000 4194304 6210612 140725473689040 140725473685576 5148216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 948 845 493 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3792 KiB
[startup+0.700267 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407652/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3792 CPUtime=0.69 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1155 0 0 0 69 0 0 0 20 0 1 0 410416925 28012544 948 33554432000 4194304 6210612 140725473689040 140725473687000 5076031 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 948 845 493 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3792 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407652/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3792 CPUtime=1.49 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1155 0 0 0 149 0 0 0 20 0 1 0 410416925 28012544 948 33554432000 4194304 6210612 140725473689040 140725473687000 5149280 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 948 845 493 0 144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3792 KiB
[startup+3.10902 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407776/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3972 CPUtime=3.1 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1199 0 0 0 310 0 0 0 20 0 1 0 410416925 28012544 993 33554432000 4194304 6210612 140725473689040 140725473687000 5149306 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 993 887 493 0 144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB
[startup+4.6074 s]
# the end of solver process 6867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.60166 s, system=0.003999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20027 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407776/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3972 CPUtime=3.19 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1199 0 0 0 319 0 0 0 20 0 1 0 410416925 28012544 993 33554432000 4194304 6210612 140725473689040 140725473687000 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 993 887 493 0 144 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB
[startup+4.00025 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407776/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3972 CPUtime=4 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1199 0 0 0 400 0 0 0 20 0 1 0 410416925 28012544 993 33554432000 4194304 6210612 140725473689040 140725473687000 5148680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 993 887 493 0 144 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB
[startup+4.40025 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407776/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3972 CPUtime=4.39 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1199 0 0 0 439 0 0 0 20 0 1 0 410416925 28012544 993 33554432000 4194304 6210612 140725473689040 140725473687000 5082384 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 993 887 493 0 144 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB
[startup+4.60023 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 6868
/proc/meminfo: memFree=28407776/32770624 swapFree=66998520/67108860
[pid=6867] ppid=6864 vsize=27356 memory=3972 CPUtime=4.59 cores=1,3,5,7
/proc/6867/stat : 6867 (cosoco) R 6864 6867 3464 0 -1 4202496 1199 0 0 0 459 0 0 0 20 0 1 0 410416925 28012544 993 33554432000 4194304 6210612 140725473689040 140725473687000 5149306 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25346048 140725473694731 140725473694833 140725473694833 140725473697742 0
/proc/6867/statm: 6839 993 887 493 0 144 0
Current children cumulated CPU time: 4.59 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB
Child status: 0
Real time (s): 4.60743
CPU time (s): 4.60566
CPU user time (s): 4.60166
CPU system time (s): 0.003999
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 27356
Max. memory (cumulated for all children) (KiB): 3972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.60166
system time used= 0.003999
maximum resident set size= 4048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1241
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= 14
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 6867
# total CPU time (s): 4.60566
# total CPU user time (s): 4.60166
# total CPU system time (s): 0.003999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034248 second user time and 0.072778 second system time
The end
Begin job on node127 at 2019-09-13 04:24:01
IDJOB=4389415
IDBENCH=133653
IDSOLVER=2829
FILE ID=node127/4389415-1568341481
RUNJOBID= node127-1568329019-3496
PBS_JOBID= 21701156
Free space on /tmp= 58820 MiB
SOLVER NAME= cosoco 2
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-4389415-1568341481/watcher-4389415-1568341481 -o /tmp/evaluation-result-4389415-1568341481/solver-4389415-1568341481 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389415-1568341481.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e1b631bab6f8bd4ad65377e678a0b81e
RANDOM SEED=699016177
node127.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.55
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.55
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.55
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.55
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: 28407684 kB
MemAvailable: 31861716 kB
Buffers: 141228 kB
Cached: 3566444 kB
SwapCached: 6780 kB
Active: 1998928 kB
Inactive: 1721556 kB
Active(anon): 5484 kB
Inactive(anon): 48636 kB
Active(file): 1993444 kB
Inactive(file): 1672920 kB
Unevictable: 109044 kB
Mlocked: 109044 kB
SwapTotal: 67108860 kB
SwapFree: 66998520 kB
Dirty: 2740 kB
Writeback: 0 kB
AnonPages: 116680 kB
Mapped: 45480 kB
Shmem: 32692 kB
Slab: 237088 kB
SReclaimable: 207008 kB
SUnreclaim: 30080 kB
KernelStack: 3536 kB
PageTables: 6024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 528720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 58816 MiB
End job on node127 at 2019-09-13 04:24:05