0.00/0.06 c root propagations : 0
0.00/0.06 c restarts enabled, print stats at every restarts
0.00/0.06 c
0.00/0.06 c
0.00/0.06 c
0.00/0.06 c This is cosoco 1.1 --
0.00/0.06 c
0.00/0.06 c command line: cosoco -lc -model -restarts HOME/instance-4260174-1502020054.xml
0.00/0.06 c ========================================[ Problem Statistics ]===========================================
0.00/0.06 c |
0.00/0.06 c | Parse time : 0.00 s
0.00/0.06 c |
0.00/0.06 c | Variables: 50
0.00/0.06 c | Domain Sizes: 2..2
0.00/0.06 c |
0.00/0.06 c | Constraints: 6
0.00/0.06 c | Arity: 46..50
0.00/0.06 c |
0.00/0.06 c | Types:
0.00/0.06 c | Sum: 6
0.00/0.06 c |
0.00/0.06 c =========================================================================================================
0.00/0.06 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.07 c 101 371 3630 2926 0 0 12 26 21
0.00/0.08 c 211 729 7534 6106 0 0 12 30 23
0.00/0.09 c 332 1183 12389 10148 0 0 9 23 16
0.04/0.10 c 465 1677 17817 14898 0 0 9 26 19
0.04/0.12 c 611 2247 23748 19591 0 0 14 28 22
0.04/0.13 c 771 2783 29474 23887 0 0 9 29 21
0.04/0.15 c 947 3373 35718 28566 0 0 10 32 23
0.04/0.16 c 1140 4060 43069 34339 0 0 13 31 22
0.04/0.18 c 1352 4875 51680 40591 0 0 12 32 24
0.14/0.20 c 1585 5642 59837 46499 0 0 15 33 24
0.14/0.22 c 1841 6459 68531 52340 0 0 17 37 28
0.14/0.24 c 2122 7436 79181 59270 0 0 17 38 28
0.14/0.27 c 2431 8465 89969 67216 0 0 11 31 23
0.24/0.30 c 2770 9647 102727 75645 0 0 13 36 28
0.24/0.33 c 3142 10840 115985 85329 0 0 15 37 26
0.24/0.36 c 3551 12258 131717 95929 0 0 15 40 29
0.34/0.40 c 4000 13776 148258 109215 0 0 7 32 19
0.34/0.45 c 4493 15765 170344 126483 0 0 10 36 25
0.44/0.50 c 5035 17619 190370 140754 0 0 14 34 25
0.44/0.55 c 5631 19696 212541 158728 0 0 9 29 21
0.54/0.61 c 6286 22011 237562 179404 0 0 6 30 19
0.54/0.68 c 7006 24634 265740 201922 0 0 10 31 23
0.64/0.76 c 7798 27502 297117 226827 0 0 7 36 22
0.74/0.85 c 8669 30642 331638 257127 0 0 7 27 17
0.84/0.94 c 9627 34215 369833 288079 0 0 6 29 20
0.94/1.05 c 10680 38282 414415 324052 0 0 9 33 21
1.04/1.16 c 11838 42635 461704 358495 0 0 12 37 26
1.14/1.29 c 13111 47131 510082 400268 0 0 5 26 17
1.34/1.42 c 14511 51960 562033 443704 0 0 7 29 19
1.44/1.56 c 16051 57548 622593 490088 0 0 9 36 25
1.64/1.73 c 17745 63758 689713 544272 0 0 9 34 23
1.84/1.90 c 19608 70180 761469 602135 0 0 6 34 21
1.94/2.08 c 21657 77667 842981 661067 0 0 12 37 26
2.14/2.26 c 23910 85345 926682 717498 0 0 13 37 27
2.44/2.50 c 26388 94935 1032629 791936 0 0 9 40 27
2.54/2.67 c solution 1
2.54/2.67
2.54/2.67 v <instantiation type='solution'>
2.54/2.67 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] </list>
2.54/2.67 v <values>1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 </values>
2.54/2.67 v </instantiation>
2.54/2.67
2.54/2.67 c restarts : 35
2.54/2.67 c conflicts : 28564 (10939 /sec)
2.54/2.67 c decisions : 102497 (39254 /sec)
2.54/2.67 c propagations : 844056 (323257 /sec)
2.54/2.67 c root propagations : 0
2.54/2.67 c filter calls : 1116478 (427589 /sec)
2.54/2.67 c useless filter calls : 984572 (88 %)
2.54/2.67 c Memory used : 26.27 MB
2.54/2.67 c CPU time : 2.61106 s
2.54/2.67
2.54/2.67 s SATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4260174-1502020054/watcher-4260174-1502020054 -o /tmp/evaluation-result-4260174-1502020054/solver-4260174-1502020054 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260174-1502020054.xml
pid=23525
running on 4 cores: 1,3,5,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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.03 1.99 2/181 23528
/proc/meminfo: memFree=31718092/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23528/stat : 23528 (runsolver) D 23525 23528 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4201181 24240128 108 18446744073709551615 4194304 4338465 140728593337920 140728593335560 140271592133335 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 17936384 140728593342658 140728593343050 140728593343050 140728593346506 0
/proc/23528/statm: 5918 108 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.98 2.03 1.99 2/181 23528
/proc/meminfo: memFree=31718092/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=26900 CPUtime=0.04 cores=1,3,5,7
/proc/23528/stat : 23528 (cosoco) R 23525 23528 21827 0 -1 4202496 1020 0 0 0 4 0 0 0 20 0 1 0 4201181 27545600 825 18446744073709551615 4194304 5747388 140733565903216 140733565899864 5025407 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 11653120 140733565911535 140733565911630 140733565911630 140733565915086 0
/proc/23528/statm: 6725 825 723 380 0 143 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26900
[startup+0.200258 s]
/proc/loadavg: 1.98 2.03 1.99 2/181 23528
/proc/meminfo: memFree=31718092/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=26900 CPUtime=0.14 cores=1,3,5,7
/proc/23528/stat : 23528 (cosoco) R 23525 23528 21827 0 -1 4202496 1020 0 0 0 14 0 0 0 20 0 1 0 4201181 27545600 825 18446744073709551615 4194304 5747388 140733565903216 140733565899864 5025587 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 11653120 140733565911535 140733565911630 140733565911630 140733565915086 0
/proc/23528/statm: 6725 825 723 380 0 143 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26900
[startup+0.300224 s]
/proc/loadavg: 1.98 2.03 1.99 2/181 23528
/proc/meminfo: memFree=31718092/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=26900 CPUtime=0.24 cores=1,3,5,7
/proc/23528/stat : 23528 (cosoco) R 23525 23528 21827 0 -1 4202496 1020 0 0 0 24 0 0 0 20 0 1 0 4201181 27545600 825 18446744073709551615 4194304 5747388 140733565903216 140733565900616 4940338 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 11653120 140733565911535 140733565911630 140733565911630 140733565915086 0
/proc/23528/statm: 6725 825 723 380 0 143 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 26900
[startup+0.700218 s]
/proc/loadavg: 1.98 2.03 1.99 2/181 23528
/proc/meminfo: memFree=31718092/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=26900 CPUtime=0.64 cores=1,3,5,7
/proc/23528/stat : 23528 (cosoco) R 23525 23528 21827 0 -1 4202496 1021 0 0 0 64 0 0 0 20 0 1 0 4201181 27545600 825 18446744073709551615 4194304 5747388 140733565903216 140733565900616 5025371 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 11653120 140733565911535 140733565911630 140733565911630 140733565915086 0
/proc/23528/statm: 6725 825 723 380 0 143 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 26900
[startup+1.50021 s]
/proc/loadavg: 1.98 2.03 1.99 3/182 23529
/proc/meminfo: memFree=31717824/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=26900 CPUtime=1.44 cores=1,3,5,7
/proc/23528/stat : 23528 (cosoco) R 23525 23528 21827 0 -1 4202496 1021 0 0 0 144 0 0 0 20 0 1 0 4201181 27545600 825 18446744073709551615 4194304 5747388 140733565903216 140733565900616 4947392 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 11653120 140733565911535 140733565911630 140733565911630 140733565915086 0
/proc/23528/statm: 6725 825 723 380 0 143 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 26900
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23528 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60024 s]
/proc/loadavg: 1.98 2.03 1.99 3/182 23529
/proc/meminfo: memFree=31717824/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=26900 CPUtime=1.54 cores=1,3,5,7
/proc/23528/stat : 23528 (cosoco) R 23525 23528 21827 0 -1 4202496 1021 0 0 0 154 0 0 0 20 0 1 0 4201181 27545600 825 18446744073709551615 4194304 5747388 140733565903216 140733565900616 4949477 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 11653120 140733565911535 140733565911630 140733565911630 140733565915086 0
/proc/23528/statm: 6725 825 723 380 0 143 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 26900
[startup+2.40022 s]
/proc/loadavg: 1.99 2.03 1.99 3/182 23529
/proc/meminfo: memFree=31717488/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=26900 CPUtime=2.34 cores=1,3,5,7
/proc/23528/stat : 23528 (cosoco) R 23525 23528 21827 0 -1 4202496 1063 0 0 0 234 0 0 0 20 0 1 0 4201181 27545600 863 18446744073709551615 4194304 5747388 140733565903216 140733565900616 5025360 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 11653120 140733565911535 140733565911630 140733565911630 140733565915086 0
/proc/23528/statm: 6725 863 758 380 0 143 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 26900
[startup+2.60021 s]
/proc/loadavg: 1.99 2.03 1.99 3/182 23529
/proc/meminfo: memFree=31717488/32770624 swapFree=0/331376
[pid=23528] ppid=23525 vsize=26900 CPUtime=2.54 cores=1,3,5,7
/proc/23528/stat : 23528 (cosoco) R 23525 23528 21827 0 -1 4202496 1063 0 0 0 254 0 0 0 20 0 1 0 4201181 27545600 863 18446744073709551615 4194304 5747388 140733565903216 140733565900616 5025354 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 11653120 140733565911535 140733565911630 140733565911630 140733565915086 0
/proc/23528/statm: 6725 863 758 380 0 143 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 26900
Child status: 0
Real time (s): 2.67151
CPU time (s): 2.6141
CPU user time (s): 2.6111
CPU system time (s): 0.002999
CPU usage (%): 97.851
Max. virtual memory (cumulated for all children) (KiB): 26900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6111
system time used= 0.002999
maximum resident set size= 3532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106
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
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.006781 second user time and 0.017736 second system time
The end
Begin job on node126 at 2017-08-06 13:33:36
IDJOB=4260174
IDBENCH=120877
IDSOLVER=2647
FILE ID=node126/4260174-1502020054
RUNJOBID= node126-1502014384-22617
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-22.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260174-1502020054/watcher-4260174-1502020054 -o /tmp/evaluation-result-4260174-1502020054/solver-4260174-1502020054 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260174-1502020054.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 63c49c4fa2f593a3284d3df8e40494dc
RANDOM SEED=1379058196
node126.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.81
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.81
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.81
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.81
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: 31718092 kB
MemAvailable: 32025584 kB
Buffers: 118104 kB
Cached: 470456 kB
SwapCached: 0 kB
Active: 307644 kB
Inactive: 339900 kB
Active(anon): 59328 kB
Inactive(anon): 8524 kB
Active(file): 248316 kB
Inactive(file): 331376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2492 kB
Writeback: 0 kB
AnonPages: 66748 kB
Mapped: 30616 kB
Shmem: 8868 kB
Slab: 111920 kB
SReclaimable: 87272 kB
SUnreclaim: 24648 kB
KernelStack: 3488 kB
PageTables: 4704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 301112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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= 62028 MiB
End job on node126 at 2017-08-06 13:33:39