0.00/0.05 c root propagations : 36
0.00/0.05 c restarts enabled, print stats at every restarts
0.00/0.05 c
0.00/0.05 c
0.00/0.05 c
0.00/0.05 c This is cosoco 2.00 --
0.00/0.05 c
0.00/0.05 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397326-1568589803.xml
0.00/0.05 c ========================================[ Problem Statistics ]===========================================
0.00/0.05 c |
0.00/0.05 c | Parse time : 0.04 s
0.00/0.05 c |
0.00/0.05 c | Variables: 32
0.00/0.05 c | Domain Sizes: 26..26
0.00/0.05 c |
0.00/0.05 c | Constraints: 12
0.00/0.05 c | Arity: 4..8
0.00/0.05 c |
0.00/0.05 c | Types:
0.00/0.05 c | Extension: 12 (nb tuples: 2176..3607) -- (shared: 10)
0.00/0.05 c |
0.00/0.05 c =========================================================================================================
0.00/0.05 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.08 c 101 191 4500 35806 22 0 5 12 8
0.10/0.11 c 211 411 10037 72488 22 0 3 13 9
0.10/0.14 c 332 603 16101 114622 22 0 6 9 7
0.10/0.20 c 465 880 23352 164902 22 0 3 10 7
0.21/0.26 c 611 1250 32799 225462 22 0 5 13 8
0.31/0.32 c 771 1672 42981 297230 22 0 3 13 7
0.31/0.38 c 947 2060 53316 366453 22 0 5 13 8
0.41/0.46 c 1140 2455 63837 445578 22 0 4 13 7
0.51/0.54 c 1352 2992 76375 525731 22 0 4 13 9
0.60/0.62 c 1585 3431 87936 613630 22 0 4 13 8
0.60/0.66 c 1841 3830 99990 688089 22 0 6 13 11
0.69/0.77 c 2122 4489 115322 793637 22 0 2 14 9
0.79/0.88 c 2431 5033 127746 904681 22 0 4 13 8
0.89/0.98 c 2770 5630 145023 1019282 22 0 4 13 10
1.10/1.13 c 3142 6343 166650 1171837 22 0 3 14 7
1.29/1.31 c 3551 7172 188799 1349817 22 0 3 14 7
1.39/1.48 c 4000 7928 211543 1526367 22 0 4 13 7
1.59/1.63 c 4493 9173 238728 1702141 22 0 3 15 9
1.79/1.83 c 5035 10017 267041 1911762 22 0 5 12 6
2.00/2.02 c 5631 11104 300473 2129887 22 0 5 12 7
2.19/2.25 c 6286 12483 335197 2375969 22 0 3 13 7
2.49/2.51 c 7006 13823 375680 2652780 22 0 4 12 7
2.79/2.81 c 7798 15523 427985 2982864 22 0 4 12 7
3.00/3.09 c 8669 17050 469358 3295178 22 0 5 15 8
3.39/3.46 c 9627 19056 521195 3675026 22 0 3 14 8
3.79/3.83 c 10680 21297 574715 4050045 22 0 3 12 8
4.10/4.13 c 11838 23478 635492 4437251 22 0 3 13 10
4.59/4.63 c 13111 26110 708467 4962860 22 0 3 12 7
5.00/5.05 c 14511 29097 785214 5469729 23 0 3 15 8
5.59/5.62 c 16051 32063 872679 6097635 23 0 3 13 6
6.10/6.16 c 17745 35312 965662 6771858 23 0 3 13 7
6.89/6.91 c 19608 39216 1069250 7527314 23 0 2 14 7
7.59/7.64 c 21657 43220 1190378 8373118 23 0 4 13 7
8.49/8.51 c 23910 47391 1300726 9251197 23 0 3 14 7
9.10/9.16 c 26388 52045 1420511 10037540 23 0 4 13 8
9.79/9.88 c First solution is found
9.79/9.88 s SATISFIABLE
9.79/9.88 c restarts : 35
9.79/9.88 c conflicts : 28401 (2875 /sec)
9.79/9.88 c decisions : 55925 (5661 /sec)
9.79/9.88 c propagations : 10823346 (1095561 /sec)
9.79/9.88 c root propagations : 36
9.79/9.88 c filter calls : 1527513 (154618 /sec)
9.79/9.88 c useless filter calls : 365803 (23 %)
9.79/9.88 c Memory used : 27.34 MB
9.79/9.88 c CPU time : 9.87921 s
9.79/9.88 c real time : 9.87938 s
9.79/9.88
9.79/9.88 c solution 1
9.79/9.88
9.79/9.88 v <instantiation type='solution'>
9.79/9.88 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] </list>
9.79/9.88 v <values>17 14 0 3 18 19 4 17 4 18 2 0 15 0 3 4 0 11 8 25 0 17 8 13 12 14 3 4 17 0 19 4 </values>
9.79/9.88 v </instantiation>
9.79/9.88
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: 16375 MiB (14483 MiB free)
memory of node 1: 16384 MiB (15558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397326-1568589803/watcher-4397326-1568589803 -o /tmp/evaluation-result-4397326-1568589803/solver-4397326-1568589803 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397326-1568589803.xml
running on 4 cores: 4-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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20481, runsolver pid=20478
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 2.50 2.21 2.11 3/201 20482
/proc/meminfo: memFree=30762212/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4480 CPUtime=0.1 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1302 0 0 0 10 0 0 0 20 0 1 0 434921987 28659712 1120 33554432000 4194304 6211092 140723511918512 140723511915048 5039022 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1120 839 493 0 302 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4480 KiB
[startup+0.210702 s]*
/proc/loadavg: 2.50 2.21 2.11 3/201 20482
/proc/meminfo: memFree=30761848/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4480 CPUtime=0.21 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1302 0 0 0 21 0 0 0 20 0 1 0 434921987 28659712 1120 33554432000 4194304 6211092 140723511918512 140723511915048 5039026 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1120 839 493 0 302 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4480 KiB
[startup+0.310132 s]*
/proc/loadavg: 2.50 2.21 2.11 3/201 20482
/proc/meminfo: memFree=30761848/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4480 CPUtime=0.31 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1302 0 0 0 31 0 0 0 20 0 1 0 434921987 28659712 1120 33554432000 4194304 6211092 140723511918512 140723511916472 5039038 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1120 839 493 0 302 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4480 KiB
[startup+0.700295 s]
/proc/loadavg: 2.50 2.21 2.11 3/201 20482
/proc/meminfo: memFree=30761848/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4480 CPUtime=0.69 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1302 0 0 0 69 0 0 0 20 0 1 0 434921987 28659712 1120 33554432000 4194304 6211092 140723511918512 140723511916472 5039132 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1120 839 493 0 302 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4480 KiB
[startup+1.50029 s]
/proc/loadavg: 2.50 2.21 2.11 3/201 20482
/proc/meminfo: memFree=30761420/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4480 CPUtime=1.49 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1302 0 0 0 149 0 0 0 20 0 1 0 434921987 28659712 1120 33554432000 4194304 6211092 140723511918512 140723511916472 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1120 839 493 0 302 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4480 KiB
[startup+3.11026 s]
/proc/loadavg: 2.50 2.21 2.11 3/201 20482
/proc/meminfo: memFree=30761476/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4564 CPUtime=3.1 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1487 0 0 0 310 0 0 0 20 0 1 0 434921987 28659712 1141 33554432000 4194304 6211092 140723511918512 140723511916472 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1141 858 493 0 302 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4564 KiB
[startup+6.30029 s]
/proc/loadavg: 2.46 2.20 2.11 3/202 20484
/proc/meminfo: memFree=30761584/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4564 CPUtime=6.29 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1672 0 0 0 629 0 0 0 20 0 1 0 434921987 28659712 1141 33554432000 4194304 6211092 140723511918512 140723511916472 5038999 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1141 858 493 0 302 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4564 KiB
[startup+9.88311 s]
# the end of solver process 20481 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.87927 s, system=0.004999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40029 s]
/proc/loadavg: 2.46 2.20 2.11 3/202 20484
/proc/meminfo: memFree=30761584/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4564 CPUtime=6.39 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1672 0 0 0 639 0 0 0 20 0 1 0 434921987 28659712 1141 33554432000 4194304 6211092 140723511918512 140723511916472 5038944 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1141 858 493 0 302 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4564 KiB
[startup+8.00027 s]*
/proc/loadavg: 2.46 2.20 2.11 3/202 20484
/proc/meminfo: memFree=30761584/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4564 CPUtime=8 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1857 0 0 0 800 0 0 0 20 0 1 0 434921987 28659712 1141 33554432000 4194304 6211092 140723511918512 140723511916472 5037750 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1141 858 493 0 302 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4564 KiB
[startup+8.80026 s]
/proc/loadavg: 2.46 2.20 2.11 3/202 20484
/proc/meminfo: memFree=30761584/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4564 CPUtime=8.79 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1857 0 0 0 879 0 0 0 20 0 1 0 434921987 28659712 1141 33554432000 4194304 6211092 140723511918512 140723511916472 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1141 858 493 0 302 0
Current children cumulated CPU time: 8.79 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4564 KiB
[startup+9.60026 s]
/proc/loadavg: 2.46 2.20 2.11 3/202 20484
/proc/meminfo: memFree=30761584/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4564 CPUtime=9.59 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1857 0 0 0 959 0 0 0 20 0 1 0 434921987 28659712 1141 33554432000 4194304 6211092 140723511918512 140723511916472 5039178 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1141 858 493 0 302 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4564 KiB
[startup+9.80026 s]
/proc/loadavg: 2.46 2.20 2.11 3/202 20484
/proc/meminfo: memFree=30761584/32770688 swapFree=66961180/67108860
[pid=20481] ppid=20478 vsize=27988 memory=4564 CPUtime=9.79 cores=4-7
/proc/20481/stat : 20481 (cosoco) R 20478 20481 16726 0 -1 4202496 1857 0 0 0 979 0 0 0 20 0 1 0 434921987 28659712 1141 33554432000 4194304 6211092 140723511918512 140723511916472 5038990 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 30109696 140723511923723 140723511923825 140723511923825 140723511926734 0
/proc/20481/statm: 6997 1141 858 493 0 302 0
Current children cumulated CPU time: 9.79 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 4564 KiB
Child status: 0
Real time (s): 9.88314
CPU time (s): 9.88427
CPU user time (s): 9.87927
CPU system time (s): 0.004999
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 27988
Max. memory (cumulated for all children) (KiB): 4564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.87927
system time used= 0.004999
maximum resident set size= 4636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1899
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= 5
# summary of solver processes directly reported to runsolver:
# pid: 20481
# total CPU time (s): 9.88427
# total CPU user time (s): 9.87927
# total CPU system time (s): 0.004999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049596 second user time and 0.129307 second system time
The end
Begin job on node116 at 2019-09-16 01:22:42
IDJOB=4397326
IDBENCH=139882
IDSOLVER=2849
FILE ID=node116/4397326-1568589803
RUNJOBID= node116-1568572744-16758
PBS_JOBID= 21703332
Free space on /tmp= 61228 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Crossword/Crossword-m1c-lex-vg/Crossword-m1c-lex-vg-4-8.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397326-1568589803/watcher-4397326-1568589803 -o /tmp/evaluation-result-4397326-1568589803/solver-4397326-1568589803 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397326-1568589803.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c10dd5dec070ff1211512088bfd197f2
RANDOM SEED=843686238
node116.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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB
MemFree: 30762920 kB
MemAvailable: 31846924 kB
Buffers: 112456 kB
Cached: 1265948 kB
SwapCached: 46616 kB
Active: 929804 kB
Inactive: 500572 kB
Active(anon): 6012 kB
Inactive(anon): 94976 kB
Active(file): 923792 kB
Inactive(file): 405596 kB
Unevictable: 110612 kB
Mlocked: 110612 kB
SwapTotal: 67108860 kB
SwapFree: 66961180 kB
Dirty: 2728 kB
Writeback: 0 kB
AnonPages: 116944 kB
Mapped: 48328 kB
Shmem: 40264 kB
Slab: 169680 kB
SReclaimable: 140900 kB
SUnreclaim: 28780 kB
KernelStack: 3536 kB
PageTables: 5700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 536868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 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: 116160 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61228 MiB
End job on node116 at 2019-09-16 01:22:52